A Field is an ordered field if it also has Order:
An ordered field is a Field that has Order < satisfying these additional properties: