Una superficie (topológica) con frontera es un espacio topológico de tipo Hausdorff en que cada punto tiene una vecindad abierta "V" para la que existe un homeomorfismo φ con un conjunto abierto del semiplano superior del plano euclídeo formula_4.