pseudometric space
generalization of a metric space in which the distance between two distinct points can be zero
ProofWiki: Definition:Pseudometric/Pseudometric_SpaceWikipedia (English): Pseudometric_space
Wikidata: pseudometric space
mathswitch — infrastructure for relaying and exchanging mathematical concepts
generalization of a metric space in which the distance between two distinct points can be zero
ProofWiki: Definition:Pseudometric/Pseudometric_Space