合成

集合 $A$ 上の関係 $R$ と $S$ に対して，\[\{\langle a,c \rangle|\exists b \in A(aRb \cap bSc)\}\]という組の集合を $R$ と $S$ の合成（composition）といいます.

Vita brevis, ars longa. Omnia vincit Amor.