 That is, a pseudometric is a metric if and only if the topology it generates is T0 (i.e.distinct points are topologically distinguishable).The vanishing of the pseudometric induces an equivalence relation, called the metric identification, that converts the pseudometric space into a full-fledged metric space.