שינויים
/* דף 3-שאלה 4 */
'''רפלקסיביות:''' נרצה להוכיח שכל איבר מתייחס לעצמו '''ב-G'''.
בדיקת רפלקסיביות מתחילה מבדיקת ''' כל''' איבר בקבוצה '''עליה פועל היחס שמוכיחים'''. אנחנו מוכיחים על G אשר כאמור פועלת על <math>A\times B</math>, ולכן:
<math>\forall (a,b)\in A\times B</math>