Connected topological manifolds have a well-defined dimension; this is a theorem (invariance of domain) rather than anything a priori.
As variedades topolóxicas conectadas teñen unha dimensión ben definida; isto é, máis que nada a priori, un teorema (invarianza do dominio).