semi-metric space

noun

1.
a generalized metric space in which the distance between two distinct points can be zero.