Let $X_1, \ldots, X_N$ each be a D11: Set.
Let $\pi : \{ 1, \ldots, N \} \to \{ 1, \ldots, N \}$ be a D353: Set automorphism.

Then \begin{equation} \bigcup_{n = 1}^N X_n = \bigcup_{n = 1}^N X_{\pi(n)} \end{equation}