: גם בלי ההנחה שהם שווים אפשר להגיע לדוגמא נגדית. בכל אופן כלא מצוין בשאלה הכוונה <math>\forall (x,y)\in \mathbb{N}\times \mathbb{N}</math> [[משתמש:אחיה בר-און|אחיה ]]
==תרגיל 3 שאלה 10, סעיפים ו' וז',==
יש משמעות לתנאי שימו לב שהפונקציה g צריכה לשלוח על איבר ב A לזוג סדור ששיך ל <math>A\times B</math> [[משתמש:אחיה בר-און|אחיה]]
==תרגיל 3 שאלה 10, סעיפים ו' וז',1==יש משמעות לתנאי שימו לב שהפונקציה g צריכה לשלוח Y היא תת קבוצה של X. בנוסף, R הוא יחס על איבר ב A לזוג סדור ששיך X ו-S הוא יחס על Y (כשאר יש קשור בין S ל <math>A\times B</math>-R כפי שמופיע בשאלה) [[משתמש:אחיה בר-און|אחיה]]