Generalized metric space
In mathematics, specifically in category theory, a generalized metric space is a metric space but without the symmetry property and some other properties. Precisely, it is a category enriched over [ 0 , ∞ ] {\displaystyle [0,\infty ]} , the one-point compactification of R {\displaystyle \mathbb {R} } .