Dados formula_1 diremos que están relacionados módulo formula_2 si formula_3.