Epigroup

algebraic structure, a semigroup in which every element has a power that belongs to a subgroup