Category:Order theory

C

• [+] Closure operators (0)

D

• [+] Domain theory (0)

F

• [+] Fixed points (3)

L

• [+] Lattice theory (2)

O

• [+] Ordered algebraic structures (1)
• [+] Ordered groups (0)
• [+] Ordinal numbers (1)

S

• [+] Sorting algorithms (3)

W

• [+] Wellfoundedness (0)

• List of order topics
• Glossary of order theory

*

• Order theory

A

• Alexandrov topology
• Antichain
• Aronszajn line
• Ascending chain condition
• Atom (order theory)

B

• Boolean prime ideal theorem
• Bound graph
• Bounded complete poset
• Bounded set
• Bourbaki–Witt theorem

C

• Cantor's first uncountability proof
• Causal sets
• Chain complete
• Cofinal (mathematics)
• Cofinality
• Compact element
• Comparability
• Comparability graph
• Complete Boolean algebra
• Complete Heyting algebra
• Complete partial order
• Completely distributive lattice
• Completeness (order theory)
• Containment order
• Continuum (mathematics)
• Countable chain condition
• Countryman line
• Covering relation
• Critical pair

D

• Dedekind cut
• Dense order
• Dickson's lemma
• Dilworth's theorem
• Directed set
• Disjunction property of Wallman

D cont.

• Distributivity (order theory)
• Duality (order theory)

E

• Embedding
• Extreme value

F

• Filter (mathematics)
• Fréchet filter

G

• Galois connection
• Greatest element
• Greatest fixed point

H

• Hasse diagram
• Hausdorff maximal principle
• Heyting algebra
• Higman's lemma

I

• Ideal (order theory)
• Incidence algebra
• Infimum
• Infinite descending chain
• Infinite divisibility
• Interval (mathematics)
• Interval order

J

• Join (mathematics)

K

• Kleene fixpoint theorem
• Kleene–Brouwer order
• Knaster–Tarski theorem
• Kruskal's tree theorem

L

• Least fixed point
• Lexicographical order
• Limit-preserving function (order theory)
• Linear extension
• Locally finite poset
• Lubell-Yamamoto-Meshalkin inequality

M

• Majorization
• Maximal element
• Meet (mathematics)
• Monomial order
• Monotonic function

N

• Non-increasing sequence

O

• Order dimension
• Order isomorphism

O cont.

• Order topology
• Order-embedding
• Ordered group
• Ordered pair
• Ordered set
• Ordinal scale

P

• Partially ordered set
• Pasch's theorem
• Poset topology
• Preorder
• Preordered class
• Prewellordering
• Prime (order theory)
• Product order

Q

• Quantale

R

• Ranked poset
• Residuated mapping

S

• Schnyder's theorem
• Scott continuity
• Scott domain
• Semilattice
• Shortlex order
• Specialization (pre)order
• Stone duality
• Strict weak ordering
• Strong antichain
• Supermodular
• Supremum
• Suslin's problem

T

• Total order
• Trichotomy (mathematics)

U

• Ultrafilter
• Upper and lower bounds
• Upper set
• Upper topology

W

• Weak order of permutations
• Well-order
• Well-quasi-ordering

Z

• Zorn's lemma