Cuando formula_12 sea un conjunto finito, digamos formula_19, escribiremos también formula_20 en lugar de formula_15.