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