Template:Group property modifier

This article defines a group property modifier (a unary group property operator) -- viz an operator that takes as input a group property and outputs a group property