Template:Formalism for subgroup metaproperty

This subgroup metaproperty is related to, or can be defined, using the following formalism: