Голосарій курсу

Нехай $R$ – відношення із множини $A$ в множину $B$, а $S$ – відношення із множини $B$ в множину $C$.

Композицією відношень $R$ і $S$ називають відношення, яке складається з усіх можливих упорядкованих пар $(a,c)$, де $a\in A$, $c\in C$, для яких існує такий елемент  $b\in B$, що $(a,b)\in R$ і $(b,c)\in S$. 

Композицію відношень $R$ та $S$  позначають як $S\circ R$ (ми пишемо справа перше з двох відношень, які беруть участь у композиції).