Template:First-order subgroup property
From Groupprops
First-order description
This subgroup property is a first-order subgroup property, viz., it has a first-order description in the theory of groups.
View a complete list of first-order subgroup properties