X es metrizable, es decir cuando hay una métrica en X cuya topología inducida