Set Intersection is Self-Distributive/General Result

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\family {\mathbb S_i} _{i \mathop \in I}$ be an $I$-indexed family of sets of sets.

Then:

$\ds \bigcap_{i \mathop \in I} \bigcap \mathbb S_i = \bigcap \bigcap_{i \mathop \in I} \mathbb S_i$


Proof