Conjunction-closed subgroup metaproperty

Symbol-free definition
A subgroup metaproperty is termed conjunction-closed if an arbitrary conjunction of subgroup properties, each satisfying the given subgroup metaproperty, also satisfies the subgroup metaproperty.