Operation zwischen Relationen.

Sind R und S Relationen auf M, so ist das Produkt der Relationen R und S die Relation R · S auf M², definiert durch \begin{eqnarray}R\cdot S:=\{(a,b)\in {M}^{2}:\exists c\in M\,\text{mit}\,aRc,cSb\}.\end{eqnarray}