up:: 026 MOC Topology
A pseudometric space is a double
Corollaries
All pseudometric spaces induce metric spaces via “quotienting” points with distance
up:: 026 MOC Topology
A pseudometric space is a double
All pseudometric spaces induce metric spaces via “quotienting” points with distance