Es decir, dado un conjunto formula_4 se pide encontrar formula_5 tal que formula_6 para todo elemento formula_7 que pertenece al conjunto formula_2.