Template:Subgroup property satisfaction