Another (fancier!) name for the distance function used in a metric space.