Dado un subconjunto C de un espacio topológico, se dice del punto a que puede pertenecer o no a dicho espacio, pero tal que todo entorno de a tiene intersección no vacía con C.