Template:Subgroup operator related to

This article defines a subgroup operator related to the subgroup property of [[{{{1}}}]]. By subgroup operator is meant an operator that takes as input a subgroup of a group and outputs a subgroup of the same group