Template:Balanced subgroup property

satisfies metaproperty::balanced subgroup property (function restriction formalism)