Category:Totally Ordered Fields

This category contains results about Totally Ordered Fields.

Let $\struct {F, +, \circ, \preceq}$ be an ordered ring.

Let $\struct {F, +, \circ}$ be a field.

Let the ordering $\preceq$ be a total ordering.

Then $\struct {F, +, \circ, \preceq}$ is a totally ordered field.