Pemeriksaan U.16. Ruang Sierpiński dan praurutan spesialisasi.
Untuk \(S=\{0,1\}\) dengan \(\tau=\{\emptyset,\{1\},S\}\text{,}\) tentukan semua pasangan \(x\preceq y\text{.}\) Verifikasi langsung bahwa \(S\) bersifat \(T_0\) tetapi bukan \(T_1\text{.}\)