Properties of Ordered Group

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

Let $x,y,z,w \in G$.

Let $n \in \N_{>0}$.

Then the following hold:

User:Dfeuer/OG5
If $n \in \N_{>0}$ then