Let $X_j$ be a D11: Set for each $j \in J$.

Then \begin{equation} \bigcup_{j \in J} X_j = \emptyset \quad \iff \quad \forall \, j \in J: X_j = \emptyset \end{equation}