iff bedeutet "if and only if"
Show that an ordered field has the infimum property if and only if it has the supremum property.
Wenn s eine untere Schranke für eine Teilmenge A , dann ist
wegen des Monotoniegesetzes der Multiplikation
- s eine obere Schranke für die Menge A ' = { x ∈ K | - x ∈ A }.
