Let $$E$$ be a subset of $$\mathbb{R}$$ and let $$M$$ be a real number. We say that $$M$$ is a least upper bound for E iff:
1. $$M$$ is an [...] for $$E$$.
2. Any other upper bound for $$E$$ is [...].