ordered field
Definition from Wiktionary, the free dictionary
English[edit]
Noun[edit]
ordered field (plural ordered fields)
 (algebra) 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.
Hypernyms[edit]
Hyponyms[edit]
Translations[edit]
field satisfying the properties of trichotomy, transitivity and preservation of an inequality when the same element is added to both sides

