formula_63，formula_64 是 formula_65 的代数闭域.每个 formula_5 上 formula_67 的自同构交换求和的顺序。
例子.例如复数域上的有理函数域 formula_71 与通常的导数即构成了一个微分域 formula_72（有理函数的导数仍是有理函数），该微分域的常数集即是复数集formula_73。函数 formula_74 的原函数 formula_75 不属于微分域 formula_72，但具有如定理所述的对数形式（注意