Assertion: metric space | /r/HasProperty | non-empty set
Facets:
value: by definition
type: OTHER
Source sentences:
text: I mean what if the subset is the empty set, then it can't be a metric space, right? because a metric space is by definition a non-empty set.