Template:Monotone spo

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