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.
Articles by others on the same topic
There are currently no matching articles.