Theorem 2.4.4: Least Upper Bound Property
There exists an ordered field of numbers R with the properties:
- it contains all rational numbers
- it has the property that any non-empty subset which has an upper bound has a least upper bound.