La dimensión topológica de un conjunto del espacio topológico es el mínimo valor de "n" para el que toda cubierta abierta admite una cubierta abierta más fina de orden no superior a "n"+1.