Mengentheorie/Relationen/Assoziativität der Komposition/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Seien und Mengen. Sei weiter

das kartesische Produkt von und . Eine Relation von nach ist eine Teilmenge .

Ist eine Relation von nach und eine Relation von nach , so ist die Komposition

Weisen Sie nach, dass die Komposition von Relationen assoziativ ist, also die Gleichheit

gilt.