Conjunction-closed subgroup metaproperty

From Groupprops
Revision as of 23:23, 7 May 2008 by Vipul (talk | contribs) (1 revision)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.