maths_traits::analysis::ordered
trait ArchGroup = ArchMonoid + OrdGroup;
An ordered group with the Archimedean property