regular semigroup

related to the previous sense

Categories: