Dada un álgebra, una derivación es una aplicación lineal D del álgebra
en sí misma (
) que para cualesquiera
satisface la regla de Leibniz:
{\displaystyle D(fg)=D(f)g+fD(g)\,}