inverse semigroup
regular semigroup in which every element has a unique inverse
bicyclic semigroup
algebraic object important for the structure theory of semigroups
group
algebraic set with an invertible, associative internal operation admitting a neutral element