Como $P$ possui base enumerável então $P$ é separável, basta tomar $D = \{p_n: p_n \in B_n, n \in \mathbb{N} \}$, onde $B_n$ são os elementos da base de $P$.