לפי דעית לא, כי זה נובע ישירות מדרך ההגדרה של G.
===תשובה===
נדמה לי שהבנתי את כוונתך. באשר שאלה האם צריך להראות ש<math>G</math> הוא יחס על <math>A \times B</math>, דהיינו להראות <math>G \subseteq (A \times B) \times (A \times B)</math>, התשובה היא לא, אין צורך. [[משתמש:Adam Chapman|Adam Chapman]] 01:44, 4 באוגוסט 2010 (IDT)
==הודעה לקראת הבוחן==