Open main menu

Groupprops β

Conjunction-closed subgroup metaproperty

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.