Mengentheorie/Relationen/Assoziativität der Komposition/Aufgabe

Es seien und Mengen. Es 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.