catholic semigroup

semigroup in which no two distinct elements have the same set of inverses

Categories: