Summenregel

Seien $A_{1}, \dots, A_{k}$ paarweise disjunkte Mengen. (d.h. es gilt $A_{i} \cap A_{j} = \emptyset$ für alle $1 \leq i < j \leq k$ .) Dann gilt

| ⋃_{i = 1}^{k} A_{i} | = \sum_{i = 1}^{k} | A_{i} | .