。在下面，注意所有黎曼曲面都是可定向的。
度量基本多边形.给定上半平面H中一点formula_25，以及PSL(2,R)一个离散子群Γ 自由不连续作用在上半平面，则我们可定义度量基本多边形（）为点集这里"d"是上半平面的双曲度量。度量基本多边形有时也称为狄里克雷区域（）或沃罗诺伊多边形（）。
标准基本多边形.给定任何度量基本多边形"F"，用有限步可以构造另一个基本多边形，标准基本多边形（），它具有额外一组值得注意的性质：上面的构造足够保证多边形