Normal subset generates normal subgroup

Statement

Suppose $G$ is a group and $A$ is a normal subset of $G$. Let $H$ be the subgroup generated by the subset $A$ in $G$. Then, $H$ is a normal subgroup of $G$.

Related facts

• Characteristic subset generates characteristic subgroup