maths_traits::analysis::ordered
trait OrdField = OrdUnitalRing + Field;
A field with ordered addition and multiplication