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.