Assertion: metric space | /r/HasProperty | a $g_\delta$-set
Facets:
value: in its completion
type: TEMPORAL
Source sentences:
text: This theorem implies that the property of a metric space being a $G_\delta$-set in its completion is a topological invariant (in contrast with the non-invariance of metric completeness itself relative to homeomorphisms).