ε-neighborhood