Template:Subgroup metaproperty satisfaction in