Disjunction-closed subgroup metaproperty
From Groupprops
This article defines a subgroup metametaproperty
View a complete list of subgroup metametaproperties
Definition
A subgroup metaproperty is termed disjunction-closed if an arbitrary disjunction (OR) of subgroup properties, each satisfying metaproperty
, also satisfies metaproperty
.