Inversion Mapping Reverses Ordering in Ordered Group

Theorem
Let $\struct {G, \circ, \preceq}$ be an ordered group.

Let $x, y \in G$.

Let $\prec$ be the reflexive reduction of $\preceq$.

Then the following equivalences hold:

Proof
By the definition of an ordered group, $\preceq$ is a relation compatible with $\circ$.

Thus by Properties of Relation Compatible with Group Operation/CRG3, we obtain the first result:


 * $x \preceq y \iff y^{-1} \preceq x^{-1}$

By Reflexive Reduction of Relation Compatible with Group Operation is Compatible, $\prec$ is also compatible with $\circ$.

Thus by again Properties of Relation Compatible with Group Operation/CRG3, we obtain the second result:


 * $x \prec y \iff y^{-1} \prec x^{-1}$