\(\prod_{i=1}^n O_i=\bigcap_{i=1}^n\pi_i^{-1}(O_i)\text{;}\) jadi semua kotak basis merupakan irisan berhingga subbasis.