Citra \(U\times V\) di bawah \(\pi_1\) adalah \(U\) jika \(V\ne\emptyset\) dan kosong jika \(V=\emptyset\text{;}\) gabungannya tetap buka.