Property modifier
From Groupprops
This term is related to: property theory
View other terms related to property theory | View facts related to property theory
This article is about a general term. A list of important particular cases (instances) is available at Category:Property modifiers for various property spaces
Contents |
BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
Definition
Given a property space, a property modifier is a unary operator from the property space to itself. In other words, it takes as input a property (an element of the property space) and outputs an element of the same property space.