Ordered Field

From GM-RKB
Jump to navigation Jump to search

An Ordered Field is a Formal Field whose Members are in a Total Order Relation.



References

2009

  • (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Ordered_field
    • In mathematics, an ordered field is a field together with a total ordering of its elements that agrees in a certain sense with the field operations. This concept was introduced by Emil Artin in 1927.