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

X₁,  X₂,  … ,  X_k

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

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

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