==תרגיל 4==
[[מדיה:Bdida4A2012.pdf|תרגיל 4]] להגשה ב-27 לנובמבר
[[מדיה:Bdida4SA2012.pdf|תרגיל 4-פתרון]]
הגדרת הרכבת יחסים: בהינתן יחס <math>R</math> מ<math>A</math> ל<math>B</math> ויחס <math>S</math> מ<math>B</math> ל<math>C</math>, מגדירים יחס <math>S \circ R</math> מ<math>A</math> ל<math>C</math> שמכיל את הזוג <math>(a,c)</math> אם ורק אם קיים <math>b \in B</math> שעבורו <math>(a,b) \in R</math> וגם <math>(b,c) \in S</math>.[[משתמש:Adam Chapman|Adam Chapman]] 18:11, 20 בנובמבר 2012 (IST)