Partition

En partition, klassedeling eller klasseinddeling af en mængde X er en familie af parvist disjunkte, ikke-tomme delmængder af X, der tilsammen udgør hele X. Med andre ord: Lad $(X_{\alpha }{)}_{\alpha \in I}$ være en familie af mængder, så $X_{\alpha }\subseteq X$ for alle $\alpha$ i en indeksmængde $I$. Nu er $(X_{\alpha }{)}_{\alpha \in I}$ en partition af $X$, hvis

1. $X_{\alpha }\cap X_{\beta }=\mathrm{\varnothing }$ for alle $\alpha ,\beta \in I$, hvor $\alpha \ne \beta$,
2. $\bigcup _{\alpha \in I}{X}_{\alpha }=X$.