Template:Monotone spo

From Groupprops

This subgroup property operator is monotone, viz if are subgroup properties and is the operator, then