שינויים
/* יחסי סדר */
הערה: מינימום <math>\leftarrow</math> מינימלי, וכן מקסימום <math>\leftarrow</math> מקסימלי, ולא להיפך!
==== תרגיל ====
תהא <math>(A,\leq)</math> קבוצה סדורה. הוכיחו/הפריכו: אם x מיני' יחיד אזי הוא איבר קטן ביותר
==== תרגיל ====
תהא <math>(A,\leq)</math> קבוצה סדורה סופית לא ריקה. הוכיחו: קיים איבר מינימאלי.
'''דוגמא.'''
