Disjunction-closed subgroup metaproperty

This article defines a subgroup metametaproperty
View a complete list of subgroup metametaproperties

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

• Single-input-expressible subgroup metaproperty