Ordering Properties of Real Numbers

Trichotomy Law
The real numbers obey the Trichotomy Law. That is, $$\forall a, b \in \mathbb{R}$$, exactly one of the following holds:


 * 1) $$a > b$$ ($$a$$ is greater than $$b$$);
 * 2) $$a = b$$ ($$a$$ is equal to $$b$$);
 * 3) $$a < b$$ ($$a$$ is less than $$b$$).

Note that $$a > b \iff b < a$$.

We also use the following notation:


 * 1) $$a \le b \iff a < b \lor a = b$$ ($$a$$ is less than or equal to $$b$$);
 * 2) $$a \ge b \iff a > b \lor a = b$$ ($$a$$ is greater than or equal to $$b$$).

The following also holds:

$$\forall a, b, c \in \mathbb{R}: a < b \land b < c \Longrightarrow a < c$$

Ordering is Compatible with Addition
$$\forall a, b, c \in \mathbb{R}: a < b \Longrightarrow a + c < b + c$$

Ordering is Compatible with Multiplication
$$\forall a, b, c \in \mathbb{R}: a < b \land c > 0 \Longrightarrow a c < b c$$

$$\forall a, b, c \in \mathbb{R}: a < b \land c < 0 \Longrightarrow a c > b c$$

Trichotomy Law
This follows directly from the fact that the real numbers form a totally ordered field.

Ordering is Compatible with Addition
This follows from the fact that the Reals are an Extension of Rationals.

Ordering is Compatible with Multiplication
This follows from the fact that the Reals are an Extension of Rationals.