En teoría de conjuntos, el espacio topológico 2ω se conoce como "el" espacio de Cantor.
Nótese que, comúnmente, a 2ω se le conoce simplemente como el conjunto de Cantor, mientras que el término espacio de Cantor se reserva para la construcción general de DS, donde D es un conjunto finito y S es un conjunto que podría ser finito, numerable, o incluso no numerable.
Aun así, el ejemplo canónico de un espacio de Cantor es el del producto topológico numerable infinito del espacio discreto con dos puntos.
o 2ω (donde 2 denota el conjunto de dos elementos {0,1} con la topología discreta).
Un punto de 2ω es una secuencia binaria infinita, es decir, una secuencia infinita que sólo toma los valores 0 o 1.