. f: A -> B ist eine Funktion. Wie zeige ich, dass wen f als Relation interpretiert wird, die inverse Relation eine Funktion ist, genau dann, wenn f bijektiv ist?
Zu einer Funktion existiert eine Umkehrfunktion genau dann, wenn f bijektiv ist;
denn dann gibt es zu jedem y∈B ein x∈A mit f(x)=y, weil f surjektiv ist.
Und weil f injektiv ist, gibt es kein anderes x mit f(x)=y.
Und die inverse Relation ist dann diese Umkehrfunktion.