שאלה טובה.
זו לא "הרכבה של קבוצות". זו הרכבה של יחסים. בהגדרה, יחס בין <math>A</math> ל<math>B</math> הוא תת-קבוצה של <math>A \times B</math>.
פונקציה היא בפרט יחס חד-ערכי.
הרכבת יחסים, בדומה להרכבת פונקציות, מוגדרת כדלקמן:
אם <math>R \subset subseteq A \times B</math> וגם <math>S \subset subseteq B \times C</math> אז <math>S \circ R \subset subseteq A \times C</math>
כך ש<math>(a,b) \in R \wedge (b,c) \in S \Leftrightarrow (a,c) \in S \circ R</math>.
עמכם הסליחה על שההגדרה הזו לא הופיע בקובץ.
[[משתמש:Adam Chapman|Adam Chapman]] 23:33, 28 ביולי 2010 (IDT)