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