Se dice que formula_17 es un punto límite de la red formula_18 si la red está eventualmente en cada entorno de formula_19, es decir, si cualquiera que sea el entorno formula_20 de formula_19 (esto es, cualquiera que sea el conjunto formula_20 de forma que exista un abierto formula_23 tal que formula_24) existe un formula_25 de tal forma que para cada formula_26 con formula_27 se cumple que formula_28.