List of order theory topics

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.

## Overview

[edit]

* 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

## Distinguished elements of partial orders

[edit]

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

## Subsets of partial orders

[edit]

* Cofinal 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 filter
* Ultrafilter

## Special types of partial orders

[edit]

* Completeness (order theory)
* Dense order
* Distributivity (order theory)
* 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 (K)

### Well-orders

[edit]

* Well-founded relation
* Ordinal number
* Well-quasi-ordering

### Completeness properties

[edit]

* Semilattice
* Lattice
* (Directed) complete partial order, (d)cpo
* Bounded complete
* Complete lattice
* Knaster–Tarski theorem
* Infinite divisibility

### Orders with further algebraic operations

[edit]

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

### Orders in algebra

[edit]

* 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 between partial orders

[edit]

* Monotonic
* Pointwise order of functions
* Galois connection
* Order embedding
* Order isomorphism
* Closure operator
* Functions that preserve suprema/infima

## Completions and free constructions

[edit]

* Dedekind completion
* Ideal completion

## Domain theory

[edit]

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

## Orders in mathematical logic

[edit]

* Lindenbaum algebra
* Zorn's lemma
* Hausdorff maximality theorem
* Boolean prime ideal theorem
* Ultrafilter
* Ultrafilter lemma
* Tree (set theory)
* Tree (descriptive set theory)
* Suslin's problem
* Absorption law
* Prewellordering

## Orders in topology

[edit]

* Stone duality
* Stone's 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

* v
* t
* e

Order theory

* Topics
* Glossary
* Category

Key concepts|

* Binary relation
* Boolean algebra
* Cyclic order
* Lattice
* Partial order
* Preorder
* Total order
* Weak ordering

Results|

* Boolean prime ideal theorem
* Cantor–Bernstein theorem
* Cantor's isomorphism theorem
* Dilworth's theorem
* Dushnik–Miller theorem
* Hausdorff maximal principle
* Knaster–Tarski theorem
* Kruskal's tree theorem
* Laver's theorem
* Mirsky's theorem
* Szpilrajn extension theorem
* Zorn's lemma

Properties & Types (list)|

* Antisymmetric
* Asymmetric
* Boolean algebra
* topics
* Completeness
* Connected
* Covering
* Dense
* Directed
* (Partial) Equivalence
* Foundational
* Heyting algebra
* Homogeneous
* Idempotent
* Lattice
* Bounded
* Complemented
* Complete
* Distributive
* Join and meet
* Reflexive
* Partial order
* Chain-complete
* Graded
* Eulerian
* Strict
* Prefix order
* Preorder
* Total
* Semilattice
* Semiorder
* Symmetric
* Total
* Tolerance
* Transitive
* Well-founded
* Well-quasi-ordering (Better)
* (Pre) Well-order

Constructions|

* Composition
* Converse/Transpose
* Lexicographic order
* Linear extension
* Product order
* Reflexive closure
* Series-parallel partial order
* Star product
* Symmetric closure
* Transitive closure

Topology & Orders|

* Alexandrov topology & Specialization preorder
* Ordered topological vector space
* Normal cone
* Order topology
* Order topology
* Topological vector lattice
* Banach
* Fréchet
* Locally convex
* Normed

Related|

* Antichain
* Cofinal
* Cofinality
* Comparability
* Graph
* Duality
* Filter
* Hasse diagram
* Ideal
* Net
* Subnet
* Order morphism
* Embedding
* Isomorphism
* Order type
* Ordered field
* Positive cone of an ordered field
* Ordered vector space
* Partially ordered
* Positive cone of an ordered vector space
* Riesz space
* Partially ordered group
* Positive cone of a partially ordered group
* Upper set
* Young's lattice

* v
* t
* e

Wikipedia outlines

* General reference

* Culture and the arts
* Geography and places
* Health and fitness
* History and events
* Mathematics and logic
* Natural and physical sciences
* People and self
* Philosophy and thinking
* Religion and belief systems
* Society and social sciences
* Technology and applied sciences

*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template