Contoh tandingan membuktikan kegagalan umum. Jika pilih \(c_2\in C_2\text{,}\) peta kontinu \(i_1:X_1\to X_1\times X_2\text{,}\) \(i_1(x)=(x,c_2)\text{,}\) memiliki prapeta \(i_1^{-1}(C_1\times C_2)=C_1\text{;}\) karena produk tertutup, \(C_1\) tertutup. Dengan memilih \(c_1\in C_1\) diperoleh ketertutupan \(C_2\text{.}\) Rubrik: solusi harus membedakan kasus kosong dan takkosong serta membuktikan versi benar dengan prapeta kontinu.