Let $X$ and $Y$ each be a D11: Set.

Then
\begin{equation}
X \cap Y = Y \cap X
\end{equation}

Result R2220
on D76: Set intersection

*Subresult of R4216: Finite set intersection is invariant under bijective shifting of indices*

Binary set intersection is commutative

Formulation 0

Let $X$ and $Y$ each be a D11: Set.

Then
\begin{equation}
X \cap Y = Y \cap X
\end{equation}

Proofs

Let $X$ and $Y$ each be a D11: Set.

This result is a particular case of R4216: Finite set intersection is invariant under bijective shifting of indices. $\square$