שינויים
/* דף 3-שאלה 4 */
הוכח כי <math>G</math> יח"ש על <math>A\times B</math>.
פתרון: ראשית, בואו נבין היטב את הגדרת <math>G</math>. יחס זה בנוי מ'''זוגות סדורים של זוגות סדורים''' (לא <math>(a_1,b_1),(a_2,b_2)</math> שזו סתם רשימה של שני איברים, לא <math>(a_1,b_1)\times (a_2,b_2)</math> שאין לי מושג מה זה, ועוד כל מיני צורות כאלו ואחרות שהופיעו בפיתרונותיכם), כך ש'''הקואורדינטות הראשונות''' מתייחסות ב-E ו'''הקואורדינטות השניות''' מתייחסות ב-F (ולא הזוג הראשון ב-E והזוג השני ב-F).
'''יש להוכיח ש-G יחס על <math>A\times B</math>:
כלומר, נתבונן על שתי הקואורדינטות באייברי G, בכל אחת מהן יושב זוג סדור אשר יש להראות שהוא מ-<math>A\times B</math>. ע"פ הגדרה
<math>(a_1,a_2)\in E,\ (b_1,b_2)\in F\R\Rightarrow a_1\in A \and b_1\in B \and a_2\in A \and b_2\in B</math>, היות וידוע כי E פועלת על A ו-F פועלת על B.
ע"פ הגדרת מכפלה קרטזית זה אומר ש-
