Template:Pure version of subgroup property

This subgroup property is the version, in a pure group, of the following subgroup property for logicians: {{{1}}} | See other such examples