These order-theoretic properties lead to a number of important results in real analysis, such as the monotone convergence theorem, the intermediate value theorem and the mean value theorem.
However, as with the intermediate value theorem, an alternative version survives; in constructive analysis, any "located" subset of the real line has a supremum.
