Seien X,Y Mengen, T:X→Y eine Funktion. T heisst umkehrbar (bijektiv), falls es für jedes y∈Y genau ein x∈X mit T(x)=y.