ordered field

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