Conjunction-closed subgroup metaproperty

From Groupprops
Jump to: navigation, search
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.