Definition of dense:

Q subset X dense w.r.t binary relation P if xPy forall x,y in X => there exists d in Q s.t. xPd /\ dPy