Eine Teilmenge ${\displaystyle {}T\subseteq X}$ eines topologischen Raumes ${\displaystyle {}X}$ heißt dicht, wenn für jede nichtleere offene Menge ${\displaystyle {}U\subseteq X}$ gilt ${\displaystyle {}T\cap U\neq \emptyset }$.