Tunjukkan tiga hal: \(\Int(A)\) terbuka; secara definisi \(\Int(A)\subseteq A\text{;}\) dan untuk setiap himpunan terbuka \(O\subseteq X\) dengan \(O\subseteq A\) berlaku \(O\subseteq\Int(A)\text{.}\)