 Pro-p subgroup

A closed subgroup of a profinite group that is a pro-p group with the induced topology. Its images in finite continuous quotients are p-groups.