List of order theory topics
Order theory is a branch of mathematics that studies various kinds of objects 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.
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
- Product order
Distinguished elements of partial orders
- Greatest element, Least element
- Maximal element, minimal element
- Upper bound
- *Least upper bound
- *Greatest lower bound
- *Limit superior and limit inferior
- Irreducible element
- Prime element
- Compact element
Subsets of partial orders
- Cofinal and coinitial set, sometimes also called dense
- Meet-dense set and join-dense set
- Linked set
- Directed set
- centered and σ-centered set
- Net
- Upper set and lower set
- Ideal and filter
- *Ultrafilter
Special types of partial orders
- Completeness
- Dense order
- Distributivity
- *modular lattice
- *distributive lattice
- *completely distributive lattice
- Ascending chain condition
- *Infinite descending chain
- Countable chain condition, often abbreviated as ccc
- Knaster's condition, sometimes denoted property
[Well-order]s
- Well-founded relation
- Ordinal number
- Well-quasi-ordering
Completeness properties">completeness (order theory)">Completeness properties
- Semilattice
- Lattice
- complete partial order, cpo
- Bounded complete
- Complete lattice
- *Knaster-Tarski theorem
- Infinite divisibility
Orders with further algebraic">abstract algebra">algebraic operations
- Heyting algebra
- *Relatively complemented lattice
- Complete Heyting algebra
- *Pointless topology
- MV-algebra
- Ockham algebras:
- *Stone algebra
- *De Morgan algebra
- **Kleene algebra
- **Łukasiewicz–Moisil algebra
- *Boolean algebra
- **Boolean ring
- **Complete Boolean algebra
- Orthocomplemented lattice
- Quantale
Orders in [algebra]
- Partially ordered monoid
- Ordered group
- *Archimedean property
- Ordered ring
- Ordered field
- Artinian ring
- Noetherian
- Linearly ordered group
- Monomial order
- Weak order of permutations
- Bruhat order on a Coxeter group
- Incidence algebra
Functions">Function (mathematics)">Functions between partial orders
- Monotonic
- Pointwise order of functions
- Galois connection
- Order embedding
- Order isomorphism
- Closure operator
- Functions that preserve suprema/infima
Completions">Completion (order theory)">Completions and free constructions">free object">free constructions
- Dedekind completion
- Ideal completion
Domain theory
- Way-below relation
- Continuous poset
- *Continuous lattice
- Algebraic poset
- *Scott domain
- *Algebraic lattice
- Scott information system
- Powerdomain
- Scott topology
- Scott continuity
Orders in [mathematical logic]
- Lindenbaum algebra
- Zorn's lemma
- *Hausdorff maximality theorem
- Boolean prime ideal theorem
- Ultrafilter
- Ultrafilter lemma
- Tree
- Tree
- Suslin's problem
- Absorption law
- Prewellordering
Orders in [topology]
- Stone duality
- *Stone's representation theorem for Boolean algebras
- Specialization order
- Order topology of a total order
- Alexandrov topology
- Upper topology
- Scott topology
- *Scott continuity
- Lawson topology
- Finer topology