"a function of a topological space that gives, for any two points in the space, a value equal to the distance between them"@en-us . "0.11304"^^ . . . "0.138784"^^ . . "0.0821877"^^ . "0.146756"^^ . "0.125378"^^ . . . "13784906-n"^^ . . "113006963"@en-us . . . "0.199589"^^ . "0"^^ . "0.058011"^^ . "metric function"@en-us . "0.136254"^^ . "metric function"^^ . . . . "113784906"^^ . . "0"^^ . "metric"@en-us .