Es sei T n {\displaystyle {}T_{n}} , n ∈ N + {\displaystyle {}n\in \mathbb {N} _{+}} , eine Familie von Mengen. Wir setzen
a) Zeige
b) Zeige, dass die Vereinigung ⋃ i = 1 n S i {\displaystyle {}\bigcup _{i=1}^{n}S_{i}} disjunkt ist, dass also
für n ≠ k {\displaystyle {}n\neq k} ist.