一对一的对应函数f的逆函数:A→B,是函数g:B→A,具有以下性质-
f(x)= y⇔g(y)= x
如果函数f的逆函数g存在,则称其为invertible。
函数f:Z→Z,f(x)= x + 5是可逆的,因为它具有g:Z→Z,g(x)= x-5的反函数。
函数f:Z→Z,f(x)= x 2不可逆,因为(-x)2 = x 2并非一对一。