שינויים

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

ההגדרה: <math>(a,c)\in S \circ R \iff \exist b \in B :(a,b) \in R \and (b,c) \in S</math>