Теорія порядку

Тео́рія поря́дку (англ. Order theory) — це галузь математики, яка досліджує інтуїтивне поняття порядку із застосуванням бінарних відношень. Вона забезпечує формальну систему для опису таких тверджень, як «це є меншим за те» або «це передує тому».

Див. також

• Відношення порядку

Джерела

• Birkhoff, Garrett (1940). Lattice Theory 25 (вид. 3rd Revised). American Mathematical Society. ISBN 978-0-8218-1025-5.  (англ.)
• Burris, S. N.; Sankappanavar, H. P. (1981). A Course in Universal Algebra. Springer. ISBN 978-0-387-90578-5.  (англ.)
• Davey, B. A.; Priestley, H. A. (2002). Introduction to Lattices and Order (вид. 2nd). Cambridge University Press. ISBN 0-521-78451-4.  (англ.)
• 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 978-0-521-80338-0.  (англ.)

Посилання

• Порядки записом ProvenMath: частковий порядок, лінійний порядок, цілком-впорядкованість, початкова ланка; формальні визначення та доведення в межах аксіом теорії множин. (англ.)
• Nagel, Felix (2013). Set Theory and Topology. An Introduction to the Foundations of Analysis (англ.)