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