Ordered group

In abstract algebra, an ordered group is a group G which has the additional property that there exists a partial order "<" which is translation invariant; in other words, "<" has the property that, for all a, b, and g in G, if a < b then ag < bg and ga < gb.