Countable chain condition for a linear order

ID: 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.

New to topics? Read the docs here!