Complete regularity is product-closed

Statement
Suppose $$X_i, i \in I$$, are topological spaces that are all completely regular spaces. Then, the product space $$\prod_{i \in I} X_i$$, endowed with the product topology, is also a completely regular space.

Similar facts

 * Regularity is product-closed
 * Hausdorffness is product-closed