any second countable totally disconnected compact Hausdorff topological space X without isolated points
is homeomorphic to the Cantor middle-third set.
ってあるが、Cantor middle-third set.ってなんだ?