Template:Monotone gpm

This group property modifier is monotone, viz if $$p \le q$$ are group properties and $$f$$ is the operator, then $$f(p) \le f(q)$$