El conjunto contorno superior de formula_3 es el conjunto de todos los formula_6 que están relacionados con formula_3: