Properties of Ordered Group/OG4/Proof 1

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

Let $x \in G$.

Then the following equivalences hold:

Proof
By Inversion Mapping Reverses Ordering in Ordered Group:

Since $e^{-1} = e$, the theorem holds.