El conjunto contorno superior estricto de formula_3 es el conjunto de todos los formula_6 que están relacionados con formula_3, sin contar el mismo formula_3: