Ordered field/Definition

A field with a total order which is compatible with the algebraic operations.