Derivaçao sobre espaco vetorial

Uma operação unária \(D:V \to V\) sobre uma álgebra que satisfaz

\begin{equation} D(x \ast y) = D(x) \ast y + x \ast D(y) \end{equation}

é chamada derivação sobre \(V\).