Si formula_1 e formula_2 son dos conjuntos tales que formula_62 (i.e.