Linearly ordered group

Group with translationally invariant total order; i.e. if a ≤ b, then ca ≤ cb