pseudometric space
generalization of a metric space in which the distance between two distinct points can be zero
metric space
set equipped with a metric (distance function)
generalization of a metric space in which the distance between two distinct points can be zero