Order-dense subset
= Order-dense subset
A subset of a <total order> meeting every nonempty open interval between two distinct points. A countable <order-dense subset> witnesses separability in the <order topology> of a dense order.
= Order-dense subset
A subset of a <total order> meeting every nonempty open interval between two distinct points. A countable <order-dense subset> witnesses separability in the <order topology> of a dense order.