Ada keluarga bola terbuka \(\{B_\beta\}_{\beta\in J}\) dalam \(Y\) sedemikian sehingga \(O=\bigcup_{\beta\in J}B_\beta\text{.}\)