[−][src]Trait Alias maths_traits::analysis::ordered::ArchSemigroup
trait ArchSemigroup = OrdSemigroup + ArchimedeanProperty;
An ordered semigroup with the Archimedean property
trait ArchSemigroup = OrdSemigroup + ArchimedeanProperty;
An ordered semigroup with the Archimedean property