Zeigen Sie, dass eine Menge M ⊆ K genau dann nach oben beschränkt ist, wenn −M nach unten beschränkt ist. Weisen Sie weiterhin nach, dass sup M genau dann existiert, wenn inf(−M) existiert und dass in diesem Fall
supM = −inf(−M) gilt.
Erinnerung: Für M ⊆ K ist −M := {−x | x ∈ M}.