The real numbers have the least upper bound property: whenever $S\subseteq\mathbb{R}$ is nonempty and \reftext{def:upper-bound-supremum-c54-2026b}{bounded above}, there exists a number $u\in\mathbb{R}$ such that $u=\sup S$.