Template:Not disjunction-closed subgroup metaproperty