Gunakan karakterisasi \(x\le y\) sebagai “setiap lingkungan buka \(x\) memuat \(y\)”. Untuk faktorisasi, tunjukkan dahulu bahwa fungsi kontinu ke ruang \(T_0\) konstan pada setiap kelas ekuivalensi.