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