Pada langkah pertama aktivitas penutup bagian Interior Suatu Himpunan, rumuskan apa yang masih harus dibuktikan agar \(\Int(A)\) menjadi subhimpunan terbuka terbesar dari \(X\) yang termuat dalam \(A\text{.}\) Rubrik: sertakan sifat terbuka dan inklusi dasar, lalu nyatakan sifat universal terhadap setiap himpunan terbuka lain di dalam \(A\text{.}\)