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.