Un subconjunto "U" de un espacio métrico ("M", "d") se llama "abierto" si, dado cualquier punto "x" en "U", existe un número real ε > 0 tales que, dado cualquier punto "y" en "M" con "d"("x", "y") < ε, "y" también pertenece a "U".