# Extension-closed group property

This article defines a group metaproperty: a property that can be evaluated to true/false for any group property

View a complete list of group metaproperties

## Definition

Suppose is a group property. We say that is **extension-closed** if the following holds:

For any group and normal subgroup of such that both and the quotient group satisfy the property , also satisfies the property .