Project:Sandbox

Definition
An ordered set $S$ is said to have the \textbf{least-upper-bound property} if the following is true: If $E\subseteq S$, $E$ is not empty, and $E$ is bounded above, then $\sup E$ exists in $S$.\footnote{What about $\mathbb{Q}$ and $\mathbb{R}$?}