inverse Abbildung, die Umkehrfunktion \({f}^{-1}:Y\to X\) zu einer bijektiven Funktion \(f:X\to Y\), wobei X und Y nicht-leere Mengen seien.