inverse semigroup

regular semigroup in which every element has a unique inverse

Categories: