Definition, synonyms and related words
A semigroup in which every element x has an inverse y, such that x = xyx and y = yxy.