> Every totally disconnected separable metric space of dimension $n$ homeomorphically embeds into $C\times \mathbb R ^n$. Is something like this known? $X$ is *totally disconnected* means that every point in $X$ is equal to the intersection of all clopen sets containing the point. $C$ is the Cantor set. It is known that there are totally disconnected spaces of arbitrary dimension. But what about just $n=1$? How might we prove $X$ embeds into $C\times [0,1]$? [1]: https://en.wikipedia.org/wiki/Erd%C5%91s_space