Partition af en mængde

En partition af en mængde X, er en familie af parvist disjunkte delmængder af X, der tilsammen udgør hele X. Med andre ord: Lad $(X_\alpha)_{\alpha\in I}$ være en familie 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 = \emptyset$ for alle $\alpha,\beta\in I$, hvor $\alpha\neq\beta$,
2. $\bigcup_{\alpha\in I} X_\alpha = X$.

Stub Denne artikel om matematik er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.