ordered field

== English == === Noun === 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 ==== field ordered integral domain ==== Hyponyms ==== Archimedean ordered field real number system Euclidean field ==== Translations ==== === Further reading === ordered field on Wikipedia.Wikipedia