Setiap \(x\in O\) adalah titik interior \(A\text{,}\) sehingga \(O\subseteq\Int(A)\text{.}\) Karena ini berlaku bagi setiap subhimpunan terbuka \(O\subseteq A\text{,}\) interior \(A\) adalah kandidat terbuka terbesar yang termuat dalam \(A\text{.}\)