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.