Product-closed property of topological spaces

This article defines a metaproperty of topological spaces: a property that can be evaluated to true/false for any property of topological spaces
View a complete list of metaproperties of topological spaces
View topological space properties satisfying this metaproperty| View topological space properties dissatisfying this metaproperty
VIEW RELATED: topological space metaproperty satisfactions| topological space metaproperty dissatisfactions

Definition

Suppose $\alpha$ is a property of topological spaces, i.e., for any topological space $X$, $X$ either satisfies $\alpha$ or does not satisfy $\alpha$. Then, we say that $\alpha$ is a product-closed property of topological spaces if for any (possibly finite, possibly infinite) collection of topological spaces $X_i,i\in I$, all of which satisfy $\alpha$, the product space ${\prod }_{i\in I}{X}_i$, endowed with the product topology, also satisfies $\alpha$.

Relation with other metaproperties

Weaker metaproperties

• Finite product-closed property of topological spaces

Other related metaproperties

• Box product-closed property of topological spaces