Inversion Mapping Reverses Ordering in Ordered Group/Corollary

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

Let $x \in G$.

Then the following equivalences hold: