Tahap 1: teorema yang dirujuk mencirikan himpunan terbuka sebagai gabungan bola-bola terbuka. Tahap 2: namai keluarga itu \(\{B_\beta\}_{\beta\in J}\text{.}\)