Dense below a forcing condition
= Dense below a forcing condition
A set $D\subseteq\mathbb P$ is dense below $p$ when every $q\leq p$ has an extension $r\leq q$ belonging to $D$.
= Dense below a forcing condition
A set $D\subseteq\mathbb P$ is dense below $p$ when every $q\leq p$ has an extension $r\leq q$ belonging to $D$.