In the Wikipedia page about total orders, it's stated that a "chain" is a synonym for a totally ordered set. But this makes no sense to me, since "chain" seems to suggest countability, and yet the real numbers would be a chain because they are totally ordered by "less than or equal to." Am I missing something, or is it true that "chain" can refer to uncountable sets?
2026-04-06 11:36:05.1775475365
Can an uncountable set be a "chain"?
119 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
"Chain" can indeed refer to an uncountable set; for instance, $\mathbb{R}$ is a chain in $(\mathbb{R}, <)$.
For instance, Zorn's Lemma (https://en.wikipedia.org/wiki/Zorn%27s_lemma) is usually stated as "If every chain in $\mathbb{P}$ has an upper bound, then $\mathbb{P}$ has a maximal element"; in most interesting cases, most chains in $\mathbb{P}$ are uncountable. For example, when using Zorn's lemma to prove that every set can be well-ordered, the partial order involved is the set of all partial well-orderings of a given set, and this is usually really uncountable.