Dado un subconjunto C de un espacio topológico, el punto del espacio tal que existe un entorno abierto del mismo que está contenido en C.