Template:Monotone pm

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