Seja $((X_{\alpha},\tau_{\alpha}))_{\alpha \in A}$ família de espaços separáveis. Então $\prod_{\alpha \in A} X_n$ também é separável se $|A| \leq c$.