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