En topología, se dice que un subconjunto A {\displaystyle A} de un espacio topológico ( X , T ) {\displaystyle \left(X,{\mathcal {T}}\right)} es denso en X {\displaystyle X} si cada punto de X {\displaystyle X} pertenece a A {\displaystyle A} o está "arbitrariamente cerca" de A {\displaystyle A} .
Formalmente, un subconjunto A {\displaystyle A} es denso en X {\displaystyle X} si el menor conjunto cerrado de X {\displaystyle X} que contiene a A {\displaystyle A} es el mismo X {\displaystyle X} .