In group theory, the normal closure of a subset S {\displaystyle S} of a group G {\displaystyle G} is the smallest normal subgroup of G {\displaystyle G} containing S . {\displaystyle S.}