Definition (Dense below $p$). $D\subseteq \mathbb{P}$ is called dense below $p$ if $\forall q\le p,\exists r\le q,r\in D$.