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