a nonnegative real-valued function having properties analogous to those of the distance between points on a real line, as the distance between two points being independent of the order of the points, the distance between two points being zero if, and only if, the two points coincide, and the distance between two points being less than or equal to the sum of the distances from each point to an arbitrary third point.