Temos que a topologia X não pode ser $T_{3_{\frac{1}{2}}}$, pois não satisfaz $T_{3}$ ([[.:smirnov3|Demonstração]]).