为微分域，formula_56，若 formula_57 在 formula_5 上初等，且满足 formula_59，则其中 formula_61，formula_62, formula_63，formula_64 是 formula_65 的代数闭域.每个 formula_5 上 formula_67 的自同构交换求和的顺序。
例子.例如复数域上的有理函数域 formula_71 与通常的导数即构成了一个微分域 formula_72（有理函数的导数仍是有理函数），该微