maths_traits::analysis::ordered
trait OrdGroup = OrdMonoid + AddGroup;
An additive group with an ordered addition operation