Más formalmente escrito, un objeto tiene dimensión topológica "m" cuando cualquier recubrimiento de ese objeto, tiene como mínimo una dimensión topológica = "m"+1 (estableciendo previamente que el punto tiene dimensión topológica = 0).