Les éléments de P sont appelés les parties de la partition. L'ensemble de toutes les partitions d'un ensemble est partiellement ordonné : par définition, une partition est plus fine qu'une autre si ...