Assertion: distance | /r/CapableOf | make metric space
Facets:
Source sentences:
text: This distance makes the set of non-empty compact subsets of a metric space itself a metric space.