Jangkar sumber: ex_digital_line_topology, pemeriksaan keterbukaan keempat (baris sumber 487--493). Tentukan apakah \(\{1,2,3,4,5\}\) terbuka dalam \(\tau_{dl}\text{.}\) Rubrik. Nyatakan himpunan tersebut sebagai gabungan eksplisit anggota basis dan verifikasi kedua anggota basis yang digunakan.