Let $X$ and $Y_j$ be a D11: Set for each $j \in J$.

Then \begin{equation} X \cap \bigcup_{j \in J} Y_j = \bigcup_{j \in J} (X \cap Y_j) \end{equation}