Involvierte Definitionen
:
Bemerkung - Eindeutigkeit des Supremums
Sei
und Wenn
ein Supremum besitzt, dann ist dieses eindeutig bestimmt.
Beweis
Wir führen den Beweis durch Widerspruch.
Sei
und sind eine obere Schranke von oder Ist , kann jedoch nach Definition kein Supremum von sein.
Ist hingegen
Es kann also nur ein Supremum geben.