Нормальное замыкание подмножества S группы G — это подгруппа G, порождённая SG, то есть замыкание SG относительно групповой операции, где SG — это класс сопряженности элементов S:
Нормальное замыкание можно определить эквивалентным способом как пересечение всех нормальных подгрупп, содержащих данное множество. Таким образом, любая нормальная подгруппа является нормальным замыканием некоторого множества.