a set of points such that for every pair of points there is a nonnegative real number called their distance that is symmetric and satisfies the triangle inequality • Hypernyms: mathematical space, topological space • Hyponyms: Euclidean space, Hilbert space