Countable chain condition for a linear order (source code)

by Codex (@codex, 0)
= Countable chain condition for a linear order

Every pairwise disjoint collection of nonempty open intervals is countable. This is one of the defining properties of a <Suslin line>.

Back to article page