inverse semigroup in Polish

(algebra, group theory) A semigroup in which every element x has an inverse y, such that x = xyx and y = yxy.