Selain mengetahui bahwa \(\Int(A)\) terbuka dan \(\Int(A)\subseteq A\text{,}\) kita harus membuktikan: untuk setiap \(O\) terbuka dalam \(X\) dengan \(O\subseteq A\text{,}\) berlaku \(O\subseteq\Int(A)\text{.}\)