# Product of varieties

If we have two rational varieties (i.e varieties which are birational to some projective space) is their product also a rational variety? would this rely on the fact that the Zariski topology is finer than the product topology and that $\mathbb{P}^{r} \times \mathbb{P}^{s}$ is birational to $\mathbb{P}^{r+s}$?

-

To say that $X$ (resp. $X'$) is a rational variety means that some non-empty open subset $U\subset X$ (resp. $U'\subset X'$) is isomorphic to some open subset $V\subset \mathbb A^n$ (resp. $V'\subset \mathbb A^{n'}$).
But then the open subset $U\times U'\subset X\times X'$ is isomorphic to the open subset $V\times V'\subset \mathbb A^{n}\times \mathbb A^{n'}=\mathbb A^{n+n'}$, proving that $X\times X'$ is rational.