Es sei ${\displaystyle {}M}$ eine Menge. Eine Teilmenge ${\displaystyle {}P\subseteq {\mathfrak {P}}\,(M)}$ heißt Partition von ${\displaystyle {}M}$, falls die folgenden Bedingungen erfüllt sind.

1. Für alle ${\displaystyle {}A\in P}$ gilt ${\displaystyle {}A\neq \emptyset }$.
2. Für ${\displaystyle {}A,B\in P}$, ${\displaystyle {}A\neq B}$, gilt ${\displaystyle {}A\cap B=\emptyset }$.
3. Die Elemente von ${\displaystyle {}P}$ bilden eine Überdeckung von ${\displaystyle {}M}$, d.h. jedes Element von ${\displaystyle {}M}$ liegt in mindestens einem Element von ${\displaystyle {}P}$.