Buď .
Rozkladem množiny (partition) rozumíme jakoukoli množinu neprázdných podmnožin množiny , která splňuje současně:
podmínku pokrytí (každý prvek množiny je v nějaké podmnožině)
podmínku disjunkce (podmnožiny jsou navzájem dusjunktní)
Třídy rozkladu libovolné množiny tedy splňují současně to, že každý prvek v nějaké třídě leží (pokrytí) a současně žádný neleží ve více třídách současně (disjunkce).