partition (d'un ensemble) [latin : partire, partager] (1) :

Soit un ensemble E. Des sous-ensembles A1, A2, ..., An de E forment une partition de E lorsqu'aucun d'eux n'est vide, qu'ils sont disjoints deux à deux, et que leur réunion est E.

{1,2}, {3,4,5}, {6} est une partition de {1,2,3,4,5,6}.
Les entiers pairs et les entiers impairs forment une partition de .

partition (d'un ensemble) (1) :

Si E est un ensemble fini et que A1, A2, ..., An est une partition de E, alors card(A1)+card(A2)+ ...+card(An)=card(E).