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