Ordered Fields
Ordered fields are fields with an ordering.
Contents
Description
A set does not inherently have an ordering, which would make it an ordered set. Nor does it inherently support addition and multiplication, which would make it a field. An ordered field does both.
Such a set has several derived properties:
if a < b then a + c < b + c
if 0 < a and 0 < b then 0 < ab
If an element of an ordered field is greater than 0, then it is positive. If it is greater than or equal to 0, then it is non-negative. If it is less than 0, then it is negative. If it is less than or equal to 0, then it is non-positive.