Dense subset of a forcing order
= Dense subset of a forcing order
= Dense subsets of a forcing order
{synonym}
A subset $D$ of a <forcing> order $P$ is dense if every $p\in P$ has a stronger condition $q\leq 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.