שינויים
/* לקבוצה של שני-הרכבת יחסים */
==לקבוצה של שני-הרכבת יחסים==
הרכבת יחסית מוגדרת כפי שחלקכם אמרתם, הפוך ממה שאמרתי.
ההגדרה: <math>(a,c)\in R S \circ S R \iff \exist b \in B :(ca,eb) \in R \and (eb,dc) \in RS</math>
(שני)
משתמש אלמוני
