podemos suponer indistintamente T, T o Hausdorff.