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!