ordered semigroup

algebraic structure

Categorie: