Properties of Ordered Group/OG4

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

Let $x \in G$.

Then the following equivalences hold: