Subgroup property modifier: Difference between revisions
No edit summary |
|||
| Line 3: | Line 3: | ||
==Definition== | ==Definition== | ||
==Symbol-free definition=== | ===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. | 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. | ||
Revision as of 09:55, 18 May 2007
This article is about the notion of property modifier for the [[{{{1}}} property space]]: it inputs a [[{{{1}}} property]] and outputs a [[{{{1}}} property]]
Definition
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.