Si éste es el caso, formula_1 es de hecho un espacio de Tychonoff y, en particular, es de Hausdorff.