Derivation (mathematics)/Definition

A map defined on a ring which behaves formally like differentiation: D(x.y)=D(x).y+x.D(y).