Intersection Distributes over Intersection/General Result

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\left\langle{\mathbb S_i}\right\rangle_{i \in I}$ be an $I$-indexed family of sets of sets.

Then:

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


Proof