Inversion Mapping Reverses Ordering in Ordered Group/Corollary

Theorem
Let $\left({G, \circ, \le}\right)$ be an ordered group with identity $e$.

Let $x \in G$.

Then the following equivalences hold: