Fakt 2.47

Wenn $T:X\to Y$ umkehrbar ist, dann ist auch $T^{-1}:y\to x$ umkehrbar und $(T^{-1}{)}^{-1}=T$.
Ausserdem $T^{-1}(T(x))=x$ für alle $x\in X$ ($T^{-1}$ kehrt $T$ um) $T(T^{-1}(y))=y$ für alle $y\in Y$.