En matemática, dícese de un conjunto A, subconjunto de un espacio métrico E con distancia d, si para todo punto abierto existe un número real r > 0 tal que el entorno de centro en x y radio r se halla contenido en A.