Es sei K ein angeordneter Körper und es seien (xn)n∈ℕ und (yn)n∈ℕ konvergente Folgen mit xn≥yn für alle n∈ℕ.
Dann ist