Assertion: metric space's completion | /r/HasProperty | the set of virtual points
Facets:
Source sentences:
text: I would define “virtual points” to include the (actual) points of X and then define the completion to be the set of virtual points.