A canonical projection on a product space is open .
Proof
Let \(U\) be an open in the product space and \(x\in U\). Then using the basis criterion
there is a product of open subsets contained in \(U\) such that \(x\) is in this product. Then \(\pi_i(x)\) is contained in a open subset of \(\pi_i(U)\) which finishes the proof.