Let \(X\) be topological space and \(A\subseteq X\). Then \(A\subseteq \bar{A}\) due to definition .