علاقة الترتيب

علاقة الترتيب
(T: Sıralama Bağlantısı)
(E: Order Relation)

لتكن لدينا المجموعة \(A\). ولتكن العلاقة \(R\) من \(A\) إلى \(A\) عندئذٍ نقول عن العلاقة \(R\) أنها علاقة ترتيب (T: Sıralama Bağlantısı) (E: Order Relation) إذا حققت الشروط التالية:
1) العلاقة \(R\) علاقة انعكاسية (T: Yansıma Özelliği) (E: Reflexive) على \(A\) أي أن:
\[\forall x \in A: (x,x) \in R\]
2) العلاقة \(R\) علاقة تخالفية (T: Antisimetri Özelliği ) (E: Antisymmetric) على \(A\) أي أن:
\[ \forall x,y\in A:(x,y) \in R,(y,x) \in R \Rightarrow x=y\]
3) العلاقة \(R\) علاقة متعدية (T: Geçişme Özelliği) (T: Transitive) على \(A\) أي أن:
\[\forall x,y,z \in A: (x,y) \in R,(y,z) \in R \Rightarrow (x,z) \in R\]

مقالات ذات صلة:
تعريف العلاقة