Template:Subgroup operator related to normality

''This article defines a subgroup operator related to the subgroup property of being normal. By subgroup operator is meant an operator that takes as input a subgroup of a group and outputs a subgroup of the same group''