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 }=\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.