Porque la distancia de cualquier punto "p" en este conjunto al borde del conjunto es mayor que cero: formula_9, podemos fijar el ε a la mitad de esta distancia, que significa que el ε es también mayor de cero, y todos los puntos que están a una distancia ε de "p" estén también en el conjunto, satisfaciendo así las condiciones para un conjunto abierto.