El conjunto contorno inferior estricto de formula_3 es el conjunto de todos los formula_6 tal que formula_3 está relacionado con ellos, sin contar aquellos que están relacionados de este modo con el mismo formula_3: