La dimensión topológica es un número entero, definitible para cualquier espacio topológico.