Assertion: metric space's diameter | /r/HasProperty | defined
Facets:
Source sentences:
text: The diameter d(A) of a non-empty subset of M is defined as