Entonces una partición de formula_3 es un subconjunto finito formula_7 tal que formula_8, con formula_9.