Ekuivalensi benar. Pada arah yang tidak otomatis bagi subruang sebarang, keterbukaan \(O\) membuat irisan \(O\cap V\) terbuka dalam \(X\text{.}\)