Pemeriksaan L.76. Ruang diskret selalu termetriskan.
Jangkar sumber: tugas pada baris sumber 615--622. Tentukan benar atau salah: jika \(X\) tak kosong dan \(\tau\) adalah topologi diskret, maka \((X,\tau)\) termetriskan. Rubrik. Berikan metrik eksplisit dan buktikan bahwa setiap subhimpunan terbuka dalam topologi metriknya.