regular semigroup

related to the previous sense

Categorie: