Un subconjunto "U" de un espacio euclídeo n-dimensional "E" se llama "abierto" si, dado cualquier punto "x" en "U", existe un número real ε > 0 tal que, dado cualquier punto "y" en "E" cuya distancia euclidiana de "x" sea más pequeña que ε, "y" también pertenece a "U".