maths_traits::analysis::ordered
trait OrdMonoid = OrdSemigroup + AddMonoid + Signed;
An additive monoid with an ordered addition operation