Assertion: circle's diameter | /r/HasProperty | the case a = ∅
Facets:
Source sentences:
text: If the distance function d is viewed here as having codomain R (the set of all real numbers), this implies that the diameter of the empty set (the case A = ∅) equals −∞ (negative infinity).