06F20 - Order, lattices, ordered algebraic structures :: Ordered structures :: Ordered abelian groups, Riesz groups, ordered linear spaces