היי,
זה לא משנה לאן אני שולחת את הפונקציה G במקרה "האחר". העיקר שיהיה בתחום של תת הקבוצות של Zהטבעיים. זאת מכיוון שכל עוד מה שהגדרתי נתן לי זהות של A. כל שאר הדברים שהכנסתי (כל שאר הזוגות- לדוג' זוגות עם 2 איברים שלילים) בין אם יתנו זהות ובין אם לא..זה לא רלוונטי בעצם? אני יכולה לשלוח אותם לכל זוג סדור שקיים בטבעים?