Pernyataan bikondisional itu benar. Arah maju mengikuti sifat interior sebagai himpunan terbuka terbesar; arah balik membuat setiap prapeta himpunan terbuka sama dengan interiornya sendiri.