## 2.4. The Real Number System

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