Pada langkah terakhir aktivitas Interior Suatu Himpunan, lengkapilah bukti \(O\subseteq\Int(A)\) dan jelaskan bagaimana inklusi itu menutup klaim maksimalitas. Rubrik: gunakan titik \(x\in O\) sebarang, simpulkan keanggotaan dalam interior, lalu kembalikan kuantor pada semua kandidat terbuka \(O\subseteq A\text{.}\)