Every nonempty bounded-above subset of a total order has a least upper bound. In the real line this is the supremum property used to extend maps defined on an order-dense subset.
The completion of a total order by its nonprincipal proper cuts, supplying least upper bounds. For a dense order it contains the original order densely, and preserves the interval countable chain condition and separability or nonseparability.
Articles by others on the same topic
There are currently no matching articles.