Lembremos que um espaço topológico $(X, \tau)$ é chamado de $T_1$ se, para quaisquer $x,y \in X$ distintos, existe um aberto $A$ tal que $x \in A$ e $y \notin A$.

O ventilador enumerável é de Hausdorff ( Demonstração). Assim, é claro que também é $T_1$.