==== O ventilador enumerável é T1 ====

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 ([[topologia:exemplo:ventenumhausdorff| Demonstração]]). Assim, é claro que também é $T_1$.