Inverse semigroup

regular semigroup in which every element has a unique inverse