Theorem: Least Upper Bound Property

There exists an ordered field of numbers R with the properties:
  1. it contains all rational numbers
  2. it has the property that any non-empty subset which has an upper bound has a least upper bound.
To Theory | Glossary | Map
(bgw)