ThmDex – An index of mathematical definitions, results, and conjectures.

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

Proof 0

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