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.


References