If a ≥ b, then a + c ≥ b + c and a − c ≥ b − c. i.e., the real numbers are an ordered group under addition.
Αν a ≥ b, τότε a + c ≥ b + c και a − c ≥ b − c. δηλαδή, οι πραγματικοί αριθμοί είναι μία διατεταγμένη ομάδα με πράξη την πρόσθεση.