Set of Words Generates Group/Corollary

Corollary to Set of Words Generates Group
Let $G$ be a group.

Let $T \subseteq G$.

Let $W \left({T}\right)$ be the set of words of $T$.

If $T$ is closed under taking inverses, then $W \left({T}\right)$ is a subgroup of $G$.

Proof
This follows directly from Set of Words Generates Group and the fact that $T$ has the same properties as $\hat S$ in that result.