Misalkan \((X,\tau)\) ruang topologi dan \(A\subseteq X\text{.}\) Apa saja yang harus ditunjukkan untuk membuktikan bahwa \(\Int(A)\) merupakan subhimpunan terbuka terbesar dari \(X\) yang terkandung dalam \(A\text{?}\) Rubrik. Bedakan sifat “terbuka”, “berada di dalam \(A\)”, dan sifat “terbesar” sebagai pernyataan universal tentang setiap himpunan terbuka lain.