Product topology on big products

There are two ways to define a topology on a product of an arbitrary amount of spaces, namely the box topology and the product topology. It turns out the box topology is less desirable because the projection maps are not continuous. When we "fix" this we get the product topology.