\( \bigcup_{n \in N} Z_{n} \)
bedeutet : Vereinigung aller Mengen Zn . Wenn du also ein Element
daraus hast, dann bedeutet das: Es gibt ein n∈N ist das Element in Zn .
Der Nachweis der Gleichung \( T \cap \bigcup_{n \in N} Z_{n}=\bigcup_{n \in N}\left(T \cap Z_{n}\right) \) könnte dann so beginnen:
Sei \( x ∈ T \cap \bigcup_{n \in N} Z_{n} \)
==> x∈T und \( x ∈ \bigcup_{n \in N} Z_{n} \)
==> x∈T und es gibt ein n∈N mit x∈Zn
==> Es gibt ein n∈N mit x∈Zn und x∈T .
==> Es gibt ein n∈N für das gilt gilt x∈Zn ∩ T .
==> \(x∈ \bigcup_{n \in N}\left(T \cap Z_{n}\right) \)
Entsprechend kannst du auch die andere Inklusion beweisen.