Template:Subgroup-defining function