Jangkar sumber: ex_digital_line_topology, pemeriksaan keterbukaan kelima (baris sumber 494--500). Dengan konvensi buku \(\Z^+=\{1,2,3,\ldots\}\text{,}\) tentukan apakah \(\Z^+\) terbuka dalam \(\tau_{dl}\text{.}\) Rubrik. Konvensi bahwa \(0\notin\Z^+\) harus dinyatakan; berikan representasi gabungan basis yang mencakup tepat semua bilangan bulat positif.