Una familia no vacía formula_295 de subconjuntos de un conjunto formula_7, forma una partición de formula_7 si