Dari \(\tau_1\) diperoleh empat prapeta, dan dari \(\tau_2\) tiga prapeta; himpunan kosong dan seluruh ruang muncul pada kedua daftar, sehingga ada lima yang berbeda. Untuk setiap \(O_1\in\tau_1\) dan \(O_2\in\tau_2\text{,}\) \((O_1\times Y_2)\cap(Y_1\times O_2)=O_1\times O_2\text{.}\) Jadi irisan berhingga subbasis menghasilkan basis produk, dan semua gabungannya menghasilkan topologi hasil kali. Rubrik: daftar harus bebas duplikasi dan pembangkitan harus dibuktikan melalui irisan.