Product space (source code)

= Product space

A product space $\prod_iX_i$ is the Cartesian product equipped with the <product topology>, the coarsest topology making every coordinate <projection map> continuous.