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_G$ is $$S$$:


 * $$S^e = S$$

Proof
$$ $$ $$