שינויים
/* לקבוצה של שני-הרכבת יחסים */
===לקבוצה של שני-הרכבת יחסים===
הרכבת יחסית מוגדרת כפי שחלקכם אמרתם, הפוך ממה שאמרתי.
ההגדרה: <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>
(שני)