Real Number Ordering is Compatible with Addition

Theorem

 * $\forall a, b, c \in \R: a < b \implies a + c < b + c$

where $\R$ ia the set of real numbers.

Proof
This follows from the fact that the Reals are an Extension of Rationals.