[][src]Trait Alias maths_traits::analysis::ordered::ArchMonoid

trait ArchMonoid = ArchSemigroup + OrdMonoid;

An ordered monoid with the Archimedean property