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