Definition: Distance between Points

Let be a metric space.

The distance between two points is

Definition: Distance between a Point and a Subset

Let be a metric space.

The distance between a point and a subset is the infimum of the ^distance-between-points between and the points of .