Es seien und Mengen. Es sei weiter
-
das kartesische Produkt von
und
.
Eine Relation von nach ist eine Teilmenge . Die Umkehrrelation ist gegeben durch
-
Eine
Abbildung von
nach
ist eine Relation
von
nach
mit der Eigenschaft, dass für jedes Element
genau ein Element
mit
existiert. Zeigen Sie, dass die Umkehrrelation einer Abbildung
genau dann eine Abbildung ist, wenn
bijektiv ist.