Untuk setiap \(x\in A\text{,}\) setiap lingkungan \(x\) dalam \(A\) bertemu \(B\) jika dan hanya jika setiap lingkungan \(x\) dalam \(X\) bertemu \(B\text{.}\) Jadi keanggotaan dalam kedua ruas persamaan itu setara.