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$.

Then the following hold:

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

Also see

 * Ordered Group Equivalences, which presents a subset of these properties in a very different fashion.
 * Properties of Relation Compatible with Group Operation
 * Properties of Ordered Ring