## 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.