Template:Model-theoretic subgroup metaproperty

This article defines a subgroup metaproperty in terms of the model-theoretic approach: viz by looking at the language in which the subgroup property can be defined