Faire une partition d´un ensemble, c´est diviser cet ensemble en sous-ensembles qui vérifient ces trois propriétés:
1/Aucun n´est vide
2/La réunion de tous les sous-ensembles redonne l´ensemble de départ
3/Ils sont 2 à 2 disjoints (l´intersection de n´importe lequel des sous-ensembles avec n´importe quel autre excepté lui-même est vide)
Par exemple, ({1},{3},{2,4}) est une partition de l´ensemble {1,2,3,4}