Complete regularity is product-closed
From Topospaces
This article gives the statement, and possibly proof, of a topological space property (i.e., completely regular space) satisfying a topological space metaproperty (i.e., product-closed property of topological spaces)
View all topological space metaproperty satisfactions | View all topological space metaproperty dissatisfactions
Get more facts about completely regular space |Get facts that use property satisfaction of completely regular space | Get facts that use property satisfaction of completely regular space|Get more facts about product-closed property of topological spaces
Statement
Suppose , are topological spaces that are all completely regular spaces. Then, the product space
, endowed with the product topology, is also a completely regular space.