Verbindung von auf Mengen definierten Relationen der folgenden Art:

Sind A, B, C Mengen und (A, B, R), R ⊆ A × B und (B, C, S), S ⊆ B × C Relationen, so ist die Komposition von (A, B, R) und (B, C, S) als Relation (A, C, S ◦ R) definiert, wobei S ◦ R (lies: S nach R oder S komponiert mit R) die Menge der Paare (a, c) ∈ A × C ist, für die es ein Element b ∈ B so gibt, daß a mit b und b mit c in Relation steht, d. h., \begin{eqnarray}\{(a,c)\in A\times C:\mathop{\displaystyle \vee }\limits_{b\in B}((a,b)\in R\wedge (b,c)\in S\}.\end{eqnarray}