שינויים

===לקבוצה של שני-הרכבת יחסים===

הרכבת יחסית מוגדרת כפי שחלקכם אמרתם, הפוך ממה שאמרתי.

ההגדרה: <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>