Jede nichtleere, nach oben beschränkte Teilmenge reeller Zahlen besitzt ein Supremum.
Mit anderen Worten, es gibt immer eine kleinste obere Schranke innerhalb der reellen Zahlen, egal wo man die Teilmenge ansetzt.