Langkah 1. Untuk arah maju, ingat bahwa setiap \(B(x,r)\) merupakan lingkungan dari \(x\text{.}\)

Langkah 2. Untuk arah balik, ambil lingkungan sebarang \(N\) dari \(x\) dan pilih \(r\gt0\) dengan \(B(x,r)\subseteq N\text{.}\)