Category:Formal expressions for subgroup properties

This category lists various formalisms, or formal expressions, that can be used for subgroup properties. It is not necessary that every subgroup property should be expressible using a particular formal expression.