In de topologie en aanverwante deelgebieden binnen de wiskunde wordt een topologische deelruimte A {\displaystyle A} van een topologische ruimte X {\displaystyle X} een dichte verzameling in X {\displaystyle X} genoemd als haar afsluiting A ¯ {\displaystyle {\overline {A}}} de hele ruimte omvat: A ¯ = X {\displaystyle {\overline {A}}=X} Dat houdt in dat voor elk punt x ∈ X {\displaystyle x\in X} in elke omgeving van x {\displaystyle x} ten minste één punt van A {\displaystyle A} ligt. Wikipedia