|
|
Definition of Ordered field
1. Noun. (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. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Ordered Field
Other Resources:
