Denotamos por formula_19 al conjunto formula_20.