Seien \(X,Y\) Mengen und \(f: X \rightarrow Y\) eine Abbildung.
Dann ist \(f\) umkehrbar, falls eine Abbildung \(f^{-1}: Y \rightarrow X\) existiert mit
\begin{align*}
f^{-1} \circ f =& \mathrm{id}_{X} \\
f \circ f^{-1} =& \mathrm{id}_{Y}
\end{align*}