Una divisione di un set in insiemi non vuoti disgiunti che coprono completamente il set. In altre parole, una partizione P di un insieme S è un insieme di sottoinsiemi con le seguenti proprietà:

• ∀ s _io ∈ P, s _io ≠ ø