There are multiple notions of premetrics and premetric spaces in the mathematical literature:
Auke B. Booij, Analysis in univalent type theory (pdf)
Fred Richman, Real numbers and other completions (pdf)
Simon Henry, Localic Metric spaces and the localic Gelfand duality (arXiv:1411.0898v1)
Last revised on June 1, 2022 at 13:16:48. See the history of this page for a list of all contributions to it.