Contoh pada jawaban membantah pernyataan universal. Untuk versi takkosong, \(O_1=\pi_1(O_1\times O_2)\) dan \(O_2=\pi_2(O_1\times O_2)\text{.}\) Karena proyeksi produk adalah pemetaan buka, kedua citra buka. Rubrik: jawaban lengkap memberi contoh tandingan dan menjelaskan tepat syarat yang memulihkan pernyataan.