A non-empty, perfect, compact, totally disconnected, Hausdorff, second countable topological space is homeomorphic to the Cantor set.