Conjunction-closed subgroup metaproperty
This article defines a subgroup metametaproperty
View a complete list of subgroup metametaproperties
Definition
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.