1. A generalized metric space in which the distance between two distinct points can be zero
   "In the same way as every normed space is a metric space, every seminormed space is a semi-metric space.";
   - pseudometric space

Type of: set