Metric space/Definition

Any topological space which has a metric defined on it.