Wenn zwei Mengen gleichmächtig sind, gibt es eine Bijektion
h : Y ---> X.und zu der existiert,
weil h Bijektion ist auch h-1 : X --->Y
Definiere die Abbildung
f : Bij(X) ---> Bij(Y)
mit f( g) = h-1ogoh für alle g ∈ Bij(X) .
Das ist der gesuchte Isomorphismus.