regular semigroup

related to the previous sense