Group property modifier

This article is about the notion of property modifier for the [[{{{1}}} property space]]: it inputs a [[{{{1}}} property]] and outputs a [[{{{1}}} property]]

This article is about a general term. A list of important particular cases (instances) is available at Category:Group property modifiers

Definition

Symbol-free definition

A group property modifier is a function from the group property space to itself that takes as input a group property and outputs a subgroup property.