Template:Disjunction-closed subgroup metaproperty