Jika dua penutup sama, uji keanggotaan \(x\) dan \(y\) pada kedua penutup. Untuk arah sebaliknya, terjemahkan kegagalan \(T_0\) sebagai kesamaan seluruh lingkungan buka.