Petunjuk M.53.1.

Setiap unsur basis, dan karenanya setiap himpunan terbuka tak kosong, memuat \(0\text{,}\) sedangkan \(0\notin B\text{.}\)
in-context