Template:Pure version of subgroup property