Dada uma família $(X_{\alpha})_{\alpha \in A}$ de espaços topológicos, no produto $\prod_{\alpha \in A} X_{\alpha}$, a topologia gerada pelos conjuntos da forma $\prod_{\alpha \in A} V_{\alpha}$, onde cada $V_{\alpha}$ é aberto em $X_{\alpha}$ é chamada de topologia da caixa e denotada por $\square_{\alpha \in A} X_{\alpha}$.