Subgroup 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]]

Symbol-free definition=

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