Sei A eine nicht leere Teilmenge von IR, die nach unten beschränkt ist.
==> Es gibt eine untere Schranke S für A
==> Für alle x∈A gilt S≤x
==> Für alle x∈A gilt -S≥-x
==> Für alle x∈-A gilt -S≥x .
Also ist -S eine obere Schranke für A, also
A nach oben beschränkt.