Normal subset generates normal subgroup

From Groupprops

Statement

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

Related facts