Axiom:Ordered Group Axioms

Definition
An ordered group is an algebraic system $\struct {G, \circ, \preceq}$ which satisfies the following properties:

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