Sei \( x ∈ A \cup \bigcap_{i \in I} B_{i} \)
==> x ∈ A oder \( x ∈ \bigcap_{i \in I} B_{i} \)
==> x ∈ A oder für alle i∈I gilt x ∈ Bi
==> für alle i∈I gilt x ∈ A oder x ∈ Bi
==> für alle i∈I gilt x ∈ A ∪ Bi
\( x ∈ \bigcap_{i \in I}\left(A \cup B_{i}\right) \)
Andere Inklusion entsprechend.