ordered field

Noun

 * 1)  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.

Hyponyms

 * real number system
 * real number system

Translations

 * Portuguese: corpo ordenado
 * Romanian: corp ordonat