Assertion: separable metric space | /r/HasProperty | isometric
Facets:
value: to some subset of $c$
type: OTHER
Source sentences:
text: It turns out that each separable metric space is isometric to some subset of $C$ (the Banach–Mazur theorem).