Partition af en mængde

Fra Wikipedia, den frie encyklopædi

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 α 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.
Denne artikel om matematik er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.