שינויים

*אנטי-סימטריות: אם <math>x</math> ביחס ל-<math>y</math> וגם <math>y</math> ביחס ל-<math>x</math> הדבר נכון באופן זהה ל-<math>R</math> וליחס ההופכי שלו (כי 'וגם' חילופי), ולכן <math>x=y</math>.

'''הגדרות.''' יהיו <math>A</math> קבוצה, <math>B\subseteq A</math> תת קבוצה המוכלת בה ו-<math>R</math> יחס סדר חלקי:

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