List of order theory topics

en.wikipedia.org

Order theory is a branch of mathematics that studies various kinds of objects (often binary relations) that capture the
intuitive notion of ordering, providing a framework for saying when one thing is less than or precedes another.
An alphabetical list of many notions of order theory can be found in the order theory glossary. See also inequality,
extreme value and mathematical optimization.

1 Overview
Partially ordered set
Preorder
Totally ordered set
Total preorder
Chain
Trichotomy
Extended real number line
Antichain
Strict order
Hasse diagram
Directed acyclic graph
Duality (order theory)
Product order

2 Distinguished elements of partial orders

Greatest element (maximum, top, unit), Least element (minimum, bottom, zero)
Maximal element, minimal element
Upper bound
Least upper bound (supremum, join)
Greatest lower bound (inmum, meet)
Limit superior and limit inferior
Irreducible element
Prime element
Compact element

1
2 4 SPECIAL TYPES OF PARTIAL ORDERS

3 Subsets of partial orders

Conal and coinitial set, sometimes also called dense
Meet-dense set and join-dense set
Linked set (upwards and downwards)
Directed set (upwards and downwards)
centered and -centered set
Net (mathematics)
Upper set and lower set
Ideal and lter
Ultralter

4 Special types of partial orders

Completeness (order theory)
Dense order
Distributivity (order theory)
modular lattice
distributive lattice
completely distributive lattice
Ascending chain condition
Innite descending chain
Countable chain condition, often abbreviated as ccc
Knasters condition, sometimes denoted property (K)

4.1 Well-orders
Well-founded relation
Ordinal number
Well-quasi-ordering

4.2 Completeness properties

Semilattice
Lattice
(Directed) complete partial order, (d)cpo
Bounded complete
Complete lattice
KnasterTarski theorem
Innite divisibility
4.3 Orders with further algebraic operations 3

4.3 Orders with further algebraic operations

Heyting algebra
Relatively complemented lattice
Complete Heyting algebra
Pointless topology
MV-algebra
Ockham algebras:
Stone algebra
De Morgan algebra
Kleene algebra (with involution)
ukasiewiczMoisil algebra
Boolean algebra (structure)
Boolean ring
Complete Boolean algebra
Orthocomplemented lattice
Quantale

4.4 Orders in algebra

Partially ordered monoid
Ordered group
Archimedean property
Ordered ring
Ordered eld
Artinian ring
Noetherian
Linearly ordered group
Monomial order
Weak order of permutations
Bruhat order on a Coxeter group
Incidence algebra

5 Functions between partial orders

Monotonic
Pointwise order of functions
Galois connection
Order embedding
Order isomorphism
Closure operator
Functions that preserve suprema/inma
4 8 ORDERS IN MATHEMATICAL LOGIC

6 Completions and free constructions

Dedekind completion

Ideal completion

7 Domain theory
Main article: Domain theory

Way-below relation

Continuous poset

Continuous lattice

Algebraic poset

Scott domain
Algebraic lattice

Scott information system

Powerdomain

Scott topology

Scott continuity

8 Orders in mathematical logic

Lindenbaum algebra

Zorns lemma

Hausdor maximality theorem

Boolean prime ideal theorem

Ultralter

Ultralter lemma

Tree (set theory)

Tree (descriptive set theory)

Suslins problem

Absorption law

Prewellordering
 5

9 Orders in topology
Stone duality

Stones representation theorem for Boolean algebras

Specialization (pre)order

Order topology of a total order (open interval topology)

Alexandrov topology
Upper topology

Scott topology
Scott continuity

Lawson topology
Finer topology
6 10 TEXT AND IMAGE SOURCES, CONTRIBUTORS, AND LICENSES

10 Text and image sources, contributors, and licenses

10.1 Text
List of order theory topics Source: https://en.wikipedia.org/wiki/List_of_order_theory_topics?oldid=743830366 Contributors: Axel-
Boldt, Michael Hardy, Charles Matthews, VeryVerily, Robbot, MathMartin, Alan Liefting, Markus Krtzsch, D6, Paul August, ZeroOne,
Aranel, EmilJ, Oleg Alexandrov, Mathbot, Trovatore, Shinmawa, PhS, Fplay, Syrcatbot, Cydebot, Nick Number, The Transhumanist,
David Eppstein, PaulTanenbaum, Ozob, Verbal, AnomieBOT, Isheden, Yaddie, Gamewizard71, Jowa fan, D.Lazard, CaroleHenson, Joel
B. Lewis, BG19bot, Lemnaminor, Liz, JMP EAX, Narky Blert and Anonymous: 1

10.2 Images

10.3 Content license

Creative Commons Attribution-Share Alike 3.0