pseudometric

Today it means: Describing a generalization of a metric space in which the distance between two distinct points can be zero. Full definition →