 Solution

A subset $S\subseteq G$ topologically generates $G$ exactly whenfor every $j$. In the usual presentation by surjective finite quotients this reads $⟨p_j(S)⟩=G_j$. Indeed, a subgroup is dense exactly when its image in every finite discrete quotient is the whole quotient. This is the finite-quotient criterion for topological generation.