dense (in a poset)If (P,≤) is a poset then a subset Q⊆P is dense if for any p∈P there is some q∈Q such that q≤p.