 Box topology

The box topology on ${\prod }_{i\in I}{X}_i$ has a basis of a topology consisting of all Cartesian products ${\prod }_i{U}_i$ with every $U_i$ an open set in $X_i$; infinitely many coordinates may be restricted. It contains the product topology and agrees with it for finite $I$.^[ref]

For copies of the usual real line, the box topology is strictly finer when $I=\mathbb{N}$. The box $W={\prod }_{j\ge 1}(-1/2,1/2)$ is not an open set in the product topology: a basic cylinder set containing zero leaves some coordinate $j$ unrestricted, so it contains $e_j\notin W$. This is a construction for every finite coordinate set, not evidence from testing a finite prefix.

Box topology is a topology that can be applied to products of topological spaces, especially in the context of infinite product spaces. It is defined on the Cartesian product of a collection of topological spaces, and it has some distinct properties compared to another common topology used on product spaces, known as the product topology.