Derivation, allgemein definiert eine Linearform folgender Art.

Es seien A, B kommutative Ringe, A → B ein Ringhomomorphismus, M ein B-Modul. Eine Differentialform von B über A mit Werten in M ist eine A-lineare Abbildung D : B → M mit der Eigenschaft \begin{eqnarray}D(fg)=fD(g)+gD(f)\end{eqnarray} für alle f, g ∈ B.

Für detailliertere Information zu den gebräuchlichsten Differentialformen vergleiche man die Einträge zu Differentialform, komplexwertige oder Differentialformen auf komplexen Mannigfaltigkeiten.