שינויים
/* תרגיל */
#יחס המכפלה על <math>A\times B</math> הוא משווה.
#היחס המילוני על <math>A\times B</math> הוא משווה.
==== תרגיל ====
תנו דוגמה לקסח <math>\left(A,\leq\right)</math> לא סופי המקיים כי: <math>\left\{ B\subseteq A\mid\,\exists\inf B\right\} =\left\{ B\subseteq A\mid\,\exists\sup B\right\}</math> .
==תרגיילים נוספים==
