Conjugate of Set by Identity

Theorem
Let $\struct {G, \circ}$ be a group whose identity is $e$.

Let $S \subseteq G$.

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


 * $S^e = S$