Template:Conjunction-closed subgroup metaproperty