A '''metric space''' is a pair (''X'', ''d'') where ''X'' is a [[topological space]] and ''d'' is a function mapping elements in ''M'' to real numbers, such that
+
A '''metric space''' is a pair (''X'', ''d'') where ''X'' is a [[topological space]] and ''d'' is a [[Metric (mathematics)|metric]].