Product Topology

The topology on a Cartesian product ∏_{i∈I} X_i generated by basis elements that are products ∏_{i∈I} U_i where U_i is open in X_i for finitely many coordinates and U_i = X_i for the remaining coordinates; it is the coarsest topology making all projection maps continuous.