Mantido pelo grupo "Topologia do Interior"
Se $|\mathcal D| = \omega$, então o problema se torna igual a este já resolvido para uma pré ordem qualquer, em particular para uma ccc.