metrizes

P161937
predicate

Indicates that a given metric defines or induces the topology or structure on a space, making that metric compatible with and fully characterizing the space’s topological properties.

Sample triples (2)

Subject Object
Lévy–Prokhorov metric weak convergence of probability measures
Lévy–Prokhorov metric convergence in distribution