Axiom:Ordered Group Axioms

Definition
An ordered group is an algebraic structure $\left({G, \circ, \preceq}\right)$ which satisfies the following properties:

These stipulations can be referred to as the ordered group axioms.