En matemáticas, una partición de un conjunto es una división del mismo en subconjuntos disjuntos no vacíos.