Una superficie es una variedad bidimensional, es decir, un objeto topológico que localmente "se parece" al plano euclídeo formula_1 (localmente homeomorfo al plano).