eine Abbildung D : R → R, wobei R ein kommutativer Ring ist, mit der Eigenschaft, daß für alle a, b ∈ R gilt \begin{eqnarray}D(a+b) & = & D(a)+D(b),\\ D(a\cdot b) & = & D(a)\cdot b+a\cdot D(b).\end{eqnarray}