In abstract algebra a linearly ordered or totally ordered group is a group G equipped with a total order "≤", that is translation-invariant. This may have different meanings. Let a, b, c ∈ G, we say that (G, ≤) is a