Es sei ${\displaystyle {}M}$ eine Menge. Eine Familie ${\displaystyle {}T_{i}}$, ${\displaystyle {}i\in I}$, von Teilmengen ${\displaystyle {}T_{i}\subseteq M}$ heißt Zerlegung von ${\displaystyle {}M}$, wenn ${\displaystyle {}M=\bigcup _{i\in I}T_{i}}$ und ${\displaystyle {}T_{i}\cap T_{j}=\emptyset }$ für ${\displaystyle {}i\neq j}$ ist.