Une famille de parties A
1,A
2,.....,A
n
est appelée une '
partition'
d'un ensemble U si et seulement si les conditions suivantes sont
vérifiées:
- Aucune des parties Ai n'est vide
- La réunion de tous les Ai donne U
- Les Ai sont deux à deux disjoints
Soit encore en notation formalisée:
La définition s'étend immédiatement aux familles infinies de
parties de U.
Voici ci-après quelques exemples de partitions de l'ensemble suivant U:
Partition
de U en deux ensembles A et B