שינויים

ההגדרה: <math>R \subseteq A\times B \and S \subseteq B\times C</math> אזי<math>(a,c)\in S \circ R \iff \exist b \in B :(a,b) \in R \and (b,c) \in S</math>