(donde formula_8 es un conjunto cualquiera) y tal que el conjunto formula_9 es finito.