Category:Pseudometric Spaces

From ProofWiki
Jump to navigation Jump to search

This category contains results about Pseudometric Spaces.
Definitions specific to this category can be found in Definitions/Pseudometric Spaces.

A pseudometric space $M = \struct {A, d}$ is an ordered pair consisting of a set $A \ne \O$ followed by a pseudometric $d: A \times A \to \R$ which acts on that set.