Product topology/Definition

Topology on a product of topological spaces whose open sets are constructed from cartesian products of open sets from the individual spaces.