Words: semi-metric space pseudometric space
Part of speech: n
Definition: a generalized metric space in which the distance between two distinct points can be zero.
Example: In the same way as every normed space is a metric space, every seminormed space is a pseudometric space.