In abstract algebra, an ordered group is a group G that 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.