 Dense subset of a forcing order

A subset $D$ of a forcing order $P$ is dense if every $p\in P$ has a stronger condition $q\le p$ in $D$. This order-density condition is the one used by a generic filter; it is distinct from density in an arbitrarily specified topology.