up:: 026 MOC Topology
A pseudometric space is a double where is a (non-empty) set and is a Pseudometric Function.
Corollaries
All pseudometric spaces induce metric spaces via “quotienting” points with distance to the same equivalent class.
up:: 026 MOC Topology
A pseudometric space is a double where is a (non-empty) set and is a Pseudometric Function.
All pseudometric spaces induce metric spaces via “quotienting” points with distance to the same equivalent class.