What is the difference between an ordinal and a cardinal?

An ordinal records the order type of a well-ordering, distinguishing arrangements that have the same size but different structure, while a cardinal records only size. Every cardinal is an ordinal, namely the least ordinal of its size.

Why does one plus omega differ from omega plus one?

Ordinal addition is defined by concatenating order types and is sensitive to position. Placing one element before the natural numbers gives the same order type as the naturals, while placing one after them adds a new largest element, so the two sums are different ordinals.

Cardinal and Ordinal Arithmetic

Cardinal and ordinal arithmetic extend the notions of counting and ordering into the infinite, providing the two complementary measures of transfinite size and position.

Definition

An ordinal is a transitive set well-ordered by membership, representing an order type; a cardinal is an ordinal that is not in bijection with any smaller ordinal, representing a size. Their arithmetic defines sum, product, and exponentiation operations extending the finite ones into the transfinite.

Scope

This topic covers ordinal numbers as canonical well-ordered sets and their non-commutative arithmetic, cardinal numbers as measures of size and their arithmetic under the axiom of choice, the aleph and beth hierarchies, cofinality, and results such as Cantor's theorem and Koenig's theorem.

Core questions

How do ordinals encode every well-ordering up to isomorphism?
Why is ordinal arithmetic non-commutative while cardinal arithmetic is not?
How are infinite cardinals added, multiplied, and exponentiated?
What constraints do cofinality and Koenig's theorem place on cardinal exponentiation?

Key theories

Cantor's theorem: For every set the power set has strictly greater cardinality, so there is no largest cardinal and the hierarchy of infinite sizes never terminates.
Transfinite induction and recursion: Properties can be proved and functions defined over all ordinals by induction and recursion along the ordinal ordering, the central technical engine of set theory.
Aleph hierarchy and cardinal exponentiation: Under choice the infinite cardinals are well-ordered as the alephs; sum and product of infinite cardinals collapse to the maximum, while exponentiation is governed by cofinality and Koenig's theorem and remains largely independent of ZFC.

Clinical relevance

Transfinite arithmetic underlies the comparison of infinite sets throughout mathematics, justifies arguments by transfinite induction in algebra and analysis, and frames central independence questions such as the value of the continuum.

History

Cantor introduced both ordinal and cardinal numbers in the 1880s and 1890s, proving that the reals are uncountable and that power sets strictly increase cardinality. Von Neumann's definition of ordinals as transitive sets well-ordered by membership gave the modern formulation, and Hausdorff and Koenig established key results on cardinal exponentiation and cofinality.

Key figures

Georg Cantor
John von Neumann
Felix Hausdorff
Julius Koenig

Seminal works

jech2003
enderton1977
kunen2011

Frequently asked questions

What is the difference between an ordinal and a cardinal?: An ordinal records the order type of a well-ordering, distinguishing arrangements that have the same size but different structure, while a cardinal records only size. Every cardinal is an ordinal, namely the least ordinal of its size.
Why does one plus omega differ from omega plus one?: Ordinal addition is defined by concatenating order types and is sensitive to position. Placing one element before the natural numbers gives the same order type as the naturals, while placing one after them adds a new largest element, so the two sums are different ordinals.