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

trait ArchSemigroup = OrdSemigroup + ArchimedeanProperty;

An ordered semigroup with the Archimedean property