==== 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. [[boxprop|Demonstração]] === Exemplo === * $\square_{\alpha \in A} \mathbb{N}$ é discreta. ---- === Veja Também === * [[topologia:propriedadesbasicasproduto| Propriedades básicas do produto]] * [[topologia:boxtopology1| Topologia da Caixa]]