סרטון מעולה. לגבי התרגיל ב52:53, האם זו הוכחה תקינה ? א. הוכחת רפלקסיביות: נניח כי (B,B) ∈ R. לפי הגדרת היחס, B∩{1,2} = B∩{1,2} (שוויון) ולכן R רפלקסיבית. ב. הוכחת סימטריות נניח כי (C,B) ∈ R. לפי הגדרת היחס , C∩{1,2} = B∩{1,2}, וזה שוויון זהה לנתון ולכן R סימטרית. ג. הוכחת טרנזיטיביות: נניח כי (B,C) ∈ R וגם (A,B) ∈ R. מטרנזיטיביות , (A,C) ∈ R לפי הגדרת היחס A∩{1,2} = C∩{1,2}, וגם A∩{1,2} = B∩{1,2} לכן B∩{1,2} = C∩{1,2} כמו בנתון , ולכן R טרנזיטיבית.