Trait Alias maths_traits::analysis::ordered::OrdAbelianGroup

trait OrdAbelianGroup = OrdGroup + AddAbelianGroup;

An additive abelian group with an ordered addition operation