Assertion: separable metric space | /r/HasProperty | metrizable
Facets:
value: completely
type: DEGREE
Source sentences:
text: A separable metric space is completely metrizable if and only if the second player has a winning strategy in this game.
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.