Tome um função qualquer $f \in P$. No caso em que $n \in dom(f)$ temos que $f \in D_n$ e $f\supset f$. No caso em que $n \notin dom(f)$ podemos fazer a extenção $g = f \cup (n,79)$, onde $g \in D_n$ e $g \supset f$. Portanto $D_n$ é denso.