Invariant subset

of a group $G$

A subset $H$ of $G$ that contains together with each element $h$ of it all conjugate elements of $h$ in $G$, that is, all elements of the form $g^{-1}hg$. An invariant sub-semi-group is a sub-semi-group that is at the same time an invariant subset.