Já vimos que produto de espaços \(T_i\) é \(T_i\) para \(i\in \{0,1,2,3\}\) (ver Propriedades Básicas do Produto). Vamos ver que isso também vale para \(T_{3\frac{1}{2}}\).
Se cada \((X_\alpha,\tau_\alpha)\) é \(T_{3\frac{1}{2}}\) (resp. regular), então \(\underset{\alpha \in A}{\Pi}X_\alpha\) é \(T_{3\frac{1}{2}}\) (resp. regular). Demonstração
O produto de espaços \(T_4\) pode não ser \(T_4\). Considere o seguinte exemplo:
A reta de Sorgenfrey \(\mathbb{R}_S\) é normal (veja Reta de Sorgenfrey). Entretanto, \(\mathbb{R}_S \times \mathbb{R}_S\) não é normal. Demonstração