、代数装备一个导子，一个满足莱布尼兹乘积法则的一元函数。微分域的一个自然例子是复数域上的单变元有理函数 C("t")，其导子是关于 "t" 的微分。
微分环.一个微分环 "R" 是装备一个或多个导子的环使得每个导子满足莱布尼兹乘积法则：对任何 formula_3。注意环可能不交换，从而稍微标准的交换环情形的乘积法则 "d(xy) = xdy + ydx" 形式可能不成立。如果 formula_4 是环上的乘法，乘积法则是恒等式这里 formula_6 表示函数将二元组