A topological space is said to be metrizable if there is a metric such that the topology induced by is .