שינויים
/* דף 3-שאלה 4 */
<math>\Rightarrow a\in A \and b\in B</math>
(מה ידוע לנו '''לכל''' איבר ב-A ולכל איבר ב-B? היות ש-E ו-F יח"ש ידוע לנו שכל איבר ב-A מתייחס לעצמו ב-E וכל איבר ב-B מתייחס לעצמו ב-F)
<math>\Rightarrow (a,a)\in E \and (b,b)\in F</math>
