Assertion: distance | /r/HasProperty | the infimum of the distances
Facets:
Source sentences:
text: The distance between a point and a set is the infimum of the distances between the point and those in the set.