inverse semigroup

noun1

1. •
   A semigroup in which every element x has an inverse y, such that x = xyx and y = yxy.

   • Examples of regular semigroups include any band, inverse semigroup or completely regular semigroup (see sections A. 2, A. 11, and A. 10); in particular, any group is a regular semigroup. — 2002