Relation Induced by Strict Positivity Property is Trichotomy

Theorem
Let $\left({D, +, \times}\right)$ be an ordered integral domain where $P$ is the positivity property.

Let the relation $<$ be defined on $D$ as:


 * $\forall a, b \in D: a < b \iff P \left({-a + b}\right)$

Then $\forall a, b \in D:$ exactly one of the following conditions applies:
 * $a < b$
 * $a = b$
 * $a > b$

That is, $<$ is a trichotomy.

Proof
Take any $a, b \in D$ and consider $-a + b$.

From the trichotomy law of ordered integral domains, exactly one of the following applies:


 * $(1): \quad P \left({-a + b}\right)$
 * $(2): \quad P \left({- \left({-a + b}\right)}\right)$
 * $(3): \quad -a + b = 0$

Taking each of these in turn and taking into account that $\left({D, +}\right)$ is the additive group of $\left({D, +, \times}\right)$:

The result has been proved.