Se $|\mathcal D| = \omega$, então o problema se torna igual a [[lista:ma#id0_1-13|este]] já resolvido para uma pré ordem qualquer, em particular para uma ccc.