Es geht doch wohl darum:
i=1⋃nj=1⋂mMi,j⊆j=1⋂mi=1⋃nMi,j
Zum Beweis wähle x∈i=1⋃nj=1⋂mMi,j
==> ∃i∈{1,…,n}x∈j=1⋂mMi,j
==> ∃i∈{1,…,n}∀j∈{1,…,m}x∈Mi,j
Wenn das x für alle j in Mi,j ist,dann ist es auch
für alle j in der Vereinigungen der Mi,j über die i .
Denn wenn etwas in einer der an der Vereinigung beteiligten
Mengen ist, dann ist es auch in der Vereinigung.
==> ∀j∈{1,…,m}x∈i=1⋃nMi,j
Und wenn es in allen Vereinigungen ist, dann auch im
Durchschnitt der Vereinigungen.
==> x∈j=1⋂mi=1⋃nMi,j q.e.d.