La relación será tal que formula_26, ssi, formula_27 para algún formula_13 en formula_6, o sea, ssi, formula_30 está en formula_6.