Least upper bound
If the least upper bound of is an element of , it is also the maximum of . If , then has no maximum.
Completeness: This is one of the fundamental axioms of real analysis.
The fact that is complete is something intuitively clear but impossible to prove using only the field and order properties of
This article is a stub. Help us out by.