A topologia da caixa no produto de espaços discretos é discreta
Proposição
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
Exemplo
- $\square_{\alpha \in A} \mathbb{N}$ é discreta.