有除子 "D" 均成立。除子是曲面上点的自由阿贝尔群中一个元素。等价地，一个除子是曲面上一些点的整系数线性组合。我们定义一个亚纯函数 "f" 的除子为这里 "R"("f") 是所有零点与极点的集合，而 "s" 定义为我们类似地定义一个亚纯1-形式的除子。一个整体亚纯函数的除子叫做主除子。相差一个主除子的两个除子称为线性等价。一个整体亚纯 1-形式的除子叫做典范除子（通常记作 "K"）。任何两个亚纯 1-形式都是线性等价的，所以典范除子在线性等价的意义下是惟一的。符号 "deg"("D")