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.