Složení relací

Pro binární relace a definujeme jejich složení (composition, composed relation)

Nehrozí-li nedorozumění, operátor můžeme při zápisu složení relací vynechat.

Buďte konečné neprázdné množiny.
Nechť a jsou binární relace s booleovskými maticemi a .

Pro matici složené relace platí