Ordered Field

A Field is an ordered field if it also has Order:

Ordered Field

An ordered field is a Field that has Order < satisfying these additional properties:

  1. x,y,zF, if x<y then x+z<y+z (additive preservation of <)
  2. x,yF where x,y>0, then xy>0 (multiplicative preservation of <)