שינויים

*איבר <math>x\in A</math> נקרא '''גדול ביותר''' ביחס לR אם <math>\forall y\in A:(y,x)\in R</math>. כלומר, x 'גדול' מכל האיברים. x חייב להיות ביחס עם כל האיברים בקבוצה. (דוגמא: הקבוצה B תחת יחס ההכלה על קבוצת החזקה של B)

הערה: קטן ביותר <math>\leftarrow</math> מינימלי, וכן גדול ביותר <math>\leftarrow</math> מקסימלי, ולא להיפך!