Una variedad topológica de dimensión n es un espacio topológico formula_2 que debe cumplir: