\(A=(\{a\}\times Y)\cup(\{b\}\times\{1\})\text{,}\) sehingga topologi yang dibangkitkan harus memuat \(A\text{.}\) Namun \(A\) bukan satu hasil kali \(U\times V\text{;}\) karena itu koleksi awal tidak tertutup terhadap gabungan dan bukan topologi.