Property modifier

From Groupprops
Jump to: navigation, search
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.