La relación formula_3 puede expresarse como que hay un formula_13 en formula_6 tal que formula_15, o sea formula_16.