#מצאו, אם קיימים, sup ו inf לקבוצות <math>B_1,B_2</math> כאשר <math>(\mathbb{N},\leq)</math> ו <math>(\mathbb{Z},\leq)</math> ו <math>\mathbb{N}\times \mathbb{Z}</math> עם היחס המילוני
#מצאו, אם קיימים, sup ו inf לקבוצות <math>B_2</math> כאשר <math>(\mathbb{N},\, \mid \,)</math> ו <math>(\mathbb{Z},\leq)</math> ו <math>\mathbb{N}\times \mathbb{Z}</math> עם יחס המילוני
==== תרגיל ====
יהיו <math>(A,\leq),(B,\pereq)</math> שני יחסי סדר משווים
הוכיחו/הפריכו:
# יחס המכפלה על <math>A\times B</math> הוא משווה.
# היחס המילוני על <math>A\times B</math> הוא משווה.
==תרגיילים נוספים==