A topologia da caixa contém a topologia produto

Em geral, a topologia usual do produto é gerada por conjuntos da forma $\prod_{\alpha \in A} V_{\alpha}$, onde

$$V_{\alpha}= \begin{cases} V, \; se \; \alpha=\beta \\ X_{\alpha}, \; se \; \alpha \neq \beta, \end{cases} $$

para algum $\beta \in A$ e algum $V$ aberto em $X_\beta$. Ou seja, os geradores da topologia usual são abertos na topologia da caixa, e consequentemente a topologia usual do produto está contida na topologia da caixa.