Abelian group
Let formula_43 be the free Abelian group of rank formula_45 whose elements are sequences of formula_40 integers, and operation is the addition. A group order on formula_43 is a total order, which is compatible with addition, that is