Mengentheorie/Zerlegung/Definition

Zerlegung (einer Menge)

Es sei $M$ eine Menge. Eine Familie $T_i$, $i\in I$, von Teilmengen $T_i\subseteq M$ heißt Zerlegung von $M$, wenn $M=\bigcup _{i\in I}{T}_i$ und $T_i\cap T_j=\mathrm{\varnothing }$ für $i\ne j$ ist.