Conjugate of Set by Identity

Theorem
Let $\left({G, \circ}\right)$ be a group whose identity is $e$.

Let $S \subseteq G$.

Then the conjugate of $S$ by $e$ is $S$:


 * $S^e = S$