Uma partição de um conjunto X é uma coleção

X1X2,  … ,  Xk

de subconjuntos não vazios de X tal que cada elemento de X pertence a um e apenas um Xi.  Você pode imaginar que cada elemento de X tem uma cor — vermelho, amarelo, azul, etc. — e que X1 é o conjunto dos elementos vermelhos, X2 é o conjunto dos elementos amarelos, etc.

Cada Xj é um elemento ou bloco da partição.  (É muito errado dizer que Xj é uma partição e que Xj é uma das partições.)

Se k = 2, diz-se que a partição é uma bipartição.