Mengentheorie/Relationen/Umkehrrelation/Aufgabe

Aus Wikiversity

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.