Assertion: circle's diameter | /r/CapableOf | correspond to be the set of nonnegative reals
Facets:
value: to taking the codomain of d
type: TRANSITIVE-OBJECT
Source sentences:
text: Some authors prefer to treat the empty set as a special case, assigning it a diameter equal to 0, which corresponds to taking the codomain of d to be the set of nonnegative reals.