Llamamos partición} de un conjunto X a una familia de subconjuntos no vacíos de X disjuntos dos a dos y cuya reunión es todo el conjunto.