Disjunction-closed subgroup metaproperty

Definition
A subgroup metaproperty $$p$$ is termed disjunction-closed if an arbitrary disjunction (OR) of subgroup properties, each satisfying metaproperty $$p$$, also satisfies metaproperty $$p$$.

Relation with other metametaproperties

 * Weaker than::Single-input-expressible subgroup metaproperty