Definition that contains topological space
- metric a function of a topological space that gives, for any two points in the space, a value equal to the distance between them
- metric function a function of a topological space that gives, for any two points in the space, a value equal to the distance between them