نظرية الترتيب: الفرق بين النسختين

* <math> \forall x \in E, \forall y \in E, \ [ (x \mathcal{R} y) \wedge (y \mathcal{R} x) ] \Rightarrow [ x = y ] \,</math>

* <math> \forall x \in E, \forall y \in E, \forall z \in E, \ [ (x \mathcal{R} y) \wedge (y \mathcal{R} z) ] \Rightarrow [ x \mathcal{R} z ] \,</math>

 

=== المجموعات المرتبة جزئيا ===