علاقة ترتيب

تعريف

العلاقة في المجموعة E هي علاقة ترتيب إذا و فقط إذا كانت في نفس الوقت انعكاسية، غير تماثلية و علاقة تعدي.

و بعبارة رياضية:

• خطأ رياضيات (خطأ في الصيغة): \forall x \in E ، \ x \mathcal{R} x \,

• خطأ رياضيات (خطأ في الصيغة): \forall x \in E ، \forall y \in E ، \ [ ( x \mathcal{R} y ) \wedge ( y \mathcal{R} x ) ] \Rightarrow [ x = y ] \,

• خطأ رياضيات (خطأ في الصيغة): \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 ] \,