Ordered algebraic structures

field together with a total ordering of its elements such that the set of positive elements is translation-invariant and multiplicatively closed

group with a compatible partial order