Cantor space

Symbol-free definition
A topological space is termed a Cantor space if it satisfies the following equivalent conditions:


 * It is perfect, compact, totally disconnected, metrizable and non-empty
 * It is homeomorphic to the Cantor set