反函数

设 $f:A\to B$ 是双射的, 则 $f^{-1}:B\to A$ 也是双射的.

• 设 $f:A\to B$ 是双射的, 则 $f^{-1}\circ f=I_B,f\circ f^{-1}=I_A$.
• 对于双射函数 $f:A\to A$, 有 $f^{-1}\circ f=f\circ f^{-1}=I_A$.