Finite pro-p presentation
= Finite pro-p presentation
{title2=$G=F_p(x_1,\ldots,x_d)/\overline{\langle r_1,\ldots,r_s\rangle^{F_p}}$}
A finite generating set and finitely many relators in a <free pro-p group>, divided out by their closed <normal closure>. Relators are elements of the <free pro-p group>; they need not be finite ordinary words. A <pro-p group> with such a presentation is finitely presented in the pro-$p$ category.