Uma divisão de um conjunto em conjuntos disjuntos não vazios que cobrem completamente o conjunto. Em outras palavras, uma partição P de um conjunto S é um conjunto de subconjuntos com as seguintes propriedades:

• ∀ s _eu ∈ P, s _eu ≠ ø