donde formula_24 está relacionado con formula_25 pero formula_25 no está relacionado con formula_24, en cuyo caso el conjunto contorno superior estricto de formula_3 es