Want site search autocompletion? See here Encountering 429 Too Many Requests errors when browsing the site? See here
This subgroup property operator is monotone, viz if p ≤ q {\displaystyle p\leq q} are subgroup properties and f {\displaystyle f} is the operator, then f ( p ) ≤ f ( q ) {\displaystyle f(p)\leq f(q)}