Es sei A ⊆ R {\displaystyle {}A\subseteq \mathbb {R} } eine nicht leere, nach oben beschränkte, abgeschlossene Teilmenge der reellen Zahlen.
Dann gehört das Supremum sup ( A ) {\displaystyle {}{\operatorname {sup} \,(A)}} zu A {\displaystyle {}A} .
