E' resulta ser un espacio compacto y separado (Hausdorff).