Template:Riexp

Relation implication expression

This subgroup property is a relation implication-expressible subgroup property: it can be defined and viewed using a relation implication expression
View other relation implication-expressible subgroup properties