Property modifier

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.