Partition

En partition (eller klassedeling) 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$.

Spire Denne artikel om matematik er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den.