Dense subset

Let \(X\) be a topological space. A subset \(A\subseteq X\) is dense in \(X\) if and only if \(\cl_X(A) = X\), if and only if every nonempty open subset of \(X\) meets \(A\).