Seja $(X_{\alpha})_{\alpha \in A}$ uma família de espaços topológicos discretos. Então, $\square_{\alpha \in A} X_{\alpha}$ é discreta. Demonstração