Assertion: separable metric space | /r/HasProperty | a g δ
Facets:
Source sentences:
text: It states that a separable metric space is completely metrizable if and only if it is a G δ {\displaystyle G_{\delta }} subset of its completion in the original metric.