Comparability of cardinals
From Encyclopedia of Mathematics - Reading time: 1 min
2020 Mathematics Subject Classification: Primary: 03E25 [MSN][ZBL]
The proposition that any two cardinal numbers $\mathfrak{a}, \mathfrak{b}$ are comparable, so that one of $\mathfrak{a} < \mathfrak{b}$, $\mathfrak{a} = \mathfrak{b}$, $\mathfrak{a} > \mathfrak{b}$ holds. This asserts that of any two sets, one may be put into one-to-one correspondence with a subset of the other. Comparability follows from the Well-ordering theorem, which implies that infinite cardinal numbers are all alephs: conversely, the comparability of sets in general implies the well-ordering theorem. Hence this is an equivalent of the Axiom of choice.
References[edit]
- Abraham A. Fraenkel, "Abstract set theory", North-Holland (1953) Zbl 0050.04903
How to Cite This Entry: Comparability of cardinals (Encyclopedia of Mathematics) | Licensed under CC BY-SA 3.0. Source: https://encyclopediaofmath.org/wiki/Comparability_of_cardinals7 views | ↧ Download this article as ZWI file
EncycloReader
is supported by the 
KSF