Benar. Keterbukaan \(O\) memberi \(O\subseteq\Int(O)\text{,}\) sedangkan inklusi sebaliknya selalu benar. Jika \(O=\Int(O)\text{,}\) maka \(O\) terbuka karena interior terbuka.