Jangkar sumber: ex_digital_line_topology, pemeriksaan keterbukaan pertama (baris sumber 466--472). Tentukan apakah \(\{0\}\) terbuka dalam topologi garis digital \(\tau_{dl}\text{.}\) Rubrik. Periksa lingkungan dasar yang mungkin memuat titik genap \(0\text{;}\) jangan menyimpulkan hanya dari fakta bahwa \(\{0\}\) adalah singleton.