ordered field

English

Noun

ordered field (plural ordered fields)

1. (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

field satisfying the properties of trichotomy, transitivity and preservation of an inequality when the same element is added to both sides

• Portuguese: corpo ordenado m
• (deprecated template usage) {{trans-mid}}
• Romanian: corp ordonat n