If $(P,\leq)$ is a poset then a subset $Q\subseteq P$ is dense if for any $p\in P$ there is some $q\in Q$ such that $q\leq p$