Let $X_n$ be a D11: Set for each $n \in \mathbb{N}$.
Let $\pi : \mathbb{N} \to \mathbb{N}$ be a D353: Set automorphism on $\mathbb{N}$.

Then \begin{equation} \bigcap_{n \in \mathbb{N}} X_n = \bigcap_{n \in \mathbb{N}} X_{\pi(n)} \end{equation}