Por tanto, formula_77 si formula_29 para todo conjunto formula_1 de formula_67 (i.e.