Assertion: metric space | /r/HasProperty | given
Facets:
Source sentences:
text: Now for a more general case: Let some metric space $A$ be given.