donde formula_3 son conjuntos cualesquiera de enteros positivos.