علاقة ترتيب
نظرية الترتيب Order theory هي فرع في الرياضيات يبحث في فكرة الترتيب البديهية باستخدام العلاقات الثنائية. وتعطي إطاراً شكلياً لوصف عبارات مثل "هذا أقل من ذاك" أو"هذا يسبق ذاك".
العلاقة في المجموعة هي علاقة ترتيب إذا وفقط إذا كانت في نفس الوقت انعكاسية، غير تماثلية وعلاقة تعدي.
وبعبارة رياضية:
![{\displaystyle \forall x\in E,\forall y\in E,\ [(x{\mathcal {R y)\wedge (y{\mathcal {R x)]\Rightarrow [x=y]\,](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/8d845a39cd2372181a152a9323455043be798ec9)
![{\displaystyle \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]\,](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/cd3001a94ccbdb178056bac2ef7ceec15f31ca57)
انظر أيضاً
- Cyclic order
- Hierarchy
- Incidence algebra
- Causal Sets
الهامش
المراجع
- Birkhoff, Garrett (1940). Lattice Theory. 25 (3rd Revised ed.). American Mathematical Society. ISBN .
- Burris, S. N.; Sankappanavar, H. P. (1981). . Springer. ISBN .
- Davey, B. A.; Priestley, H. A. (2002). Introduction to Lattices and Order (2nd ed.). Cambridge University Press. ISBN .
- Gierz, G.; Hofmann, K. H.; Keimel, K.; Mislove, M.; Scott, D. S. (2003). Continuous Lattices and Domains. Encyclopedia of Mathematics and its Applications. 93. Cambridge University Press. ISBN .
وصلات خارجية
ابحث عن ordering في
قاموس الفهم.
قاموس الفهم.
- Orders at ProvenMath partial order, linear order, well order, initial segment; formal definitions and proofs within the axioms of set theory.
- Nagel, Felix (2013). Set Theory and Topology. An Introduction to the Foundations of Analysis
