epigroup
algebraic structure, a semigroup in which every element has a power that belongs to a subgroup
completely regular semigroup
semigroup in which every element is in some subgroup of the semigroup
group
algebraic set with an invertible, associative internal operation admitting a neutral element