Pemeriksaan L.63. Apakah singleton satu terbuka?
Jangkar sumber: ex_digital_line_topology, pemeriksaan keterbukaan kedua (baris sumber 473--479). Tentukan apakah \(\{1\}\) terbuka dalam \(\tau_{dl}\text{.}\) Rubrik. Nyatakan anggota basis yang tepat dan tampilkan himpunan sebagai gabungan anggota basis.