Si formula_27 es un subconjunto de formula_1, entonces el subconjunto de formula_1,