נקח לדוגמא את שאלה 6 בתרגיל 2. נתון לי יחס G מסויים ומבקשים ממני להוכיח שהוא יחס שקילות על . השאלה שלי היא: האם צריך קודם להוכיח ש-G הוא יחס על על , בלי לענות עוד על השאלה אם הוא שקילות או לא.
לפי דעית לא, כי זה נובע ישירות מדרך ההגדרה של G.
==הודעה לקראת הבוחן==