Real numbers/Subset/Supremum/Definition

Supremum

For a nonempty subset ${}M\subseteq \mathbb {R}$, an upper bound ${}T$ of ${}M$ is called the supremum of ${}M$, if ${}T\leq S$ holds for all upper bounds ${}S$ of ${}M$.