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.
New to topics? Read the docs here!
New to topics? Read the docs here!