The Real Numbers

The real numbers, denoted by $\mathbb{R}$, are an ordered field that satisfies the least upper bound property in the following sense. Every nonempty subset of $\mathbb{R}$ that is bounded above has a least upper bound in $\mathbb{R}$ in the sense of Upper Bound and Least Upper Bound.