Let
and
be well ordered sets with ordinal
numbers
and
.
Then
iff
is order isomorphic to
an initial segment of
(Dauben 1990, p. 199). From this, it can easily be shown
that the ordinal numbers are totally
ordered by the relation. In fact, they are well
ordered by the relation.
Ordinal Comparison
See also
Well Ordered SetExplore with Wolfram|Alpha
References
Dauben, J. W. Georg Cantor: His Mathematics and Philosophy of the Infinite. Princeton, NJ: Princeton University Press, 1990.Referenced on Wolfram|Alpha
Ordinal ComparisonCite this as:
Weisstein, Eric W. "Ordinal Comparison." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/OrdinalComparison.html