In mathematics, an ordered field is a field together with a total ordering of its elements that is compatible with the field operations. Wikipedia

Field together with a total ordering of its elements that is compatible with the field operations Wikidata

A field which has an order relation satisfying these properties: trichotomy, transitivity, preservation of an inequality when the same element is added to both sides, and preservation of an inequality when the same strictly positive element is multiplied to both sides. Wiktionary

Field satisfying the properties of trichotomy, transitivity and preservation of an inequality when the same element is added to both sides. Wiktionary (translation)