逆写像
函数 f (x) = x はどのような種類の数の集合を(定義域として)考えるのかによって、可逆になることもあるしならないこともある。
定義域として実数直線全体を考えれば、各 y ≠ 0 に対して対応する定義域 X の点が二種類(一方は正で他方は負)が考えられるから、出力値から入力値を特定することができず、これは可逆でない。
この函数の定義域を非負実数全体に制限すれば、得られる函数は単射となり、特に可逆である。