Pijadas mias. Son correcciones menores y que nadie parece haber echado
en falta.
Parece que nadie se dio cuenta tampoco de que la definición de Hausdorff
estaba mal.

Y corregido otros errores, fruto del copy&paste.