Para esto definimos una función formula_16 y dos familias formula_145 e formula_146 de subconjuntos de formula_1 e formula_2 respectivamente.