 Product space

A product space ${\prod }_i{X}_i$ is the Cartesian product equipped with the product topology, the coarsest topology making every coordinate projection map continuous.