Megfeleltetések szorzata

1. Sablon:Humatek Legyenek $A,B,C$ halmazok, $\rho \subseteq A\times B$ és $\sigma \subseteq B\times C$ megfeleltetések. A $\rho$ és $\sigma$ megfeleltetések szorzatán a

   $\rho \sigma =\{(a,c)\in A\times C$ : létezik olyan $b\in B$, hogy $(a,b)\in \rho$ és $(b,c)\in \sigma \}$ $A$-ból $C$ -be történő megfeleltetést értjük.

   Akkor definiálható tehát a $\rho \sigma$ szorzat, ha $\rho$ érkezési halmaza megegyezik $\sigma$ indulási halmazával.