Smallest Normal Subgroup containing Set

Theorem
Let $S \subseteq G$ where $G$ is a group.

Then there exists a unique smallest normal subgroup of $G$ which contains $S$.

Proof
Let $\Bbb S$ be the set of all normal subgroups of $G$ that contain $S$.

$\Bbb S \ne \varnothing$, since $S \subseteq G \triangleleft G$.

Let $N = \bigcap H: H \in \Bbb S$, that is, the intersection of all elements of $\Bbb S$.

By Intersection of Normal Subgroups is Normal, $N \triangleleft G$, and by the definition of intersection, $S \subseteq N$.

By the method of construction, $N$ is the smallest such subgroup.

By the definition of "smallest", $N$ is unique.