Derivation (differential algebra)

In differential algebra, a derivation is a mathematical operator that satisfies certain linearity and product rule properties, similar to the way that derivatives function in calculus. More formally, a derivation on a differential ring (or differential algebra) is a mapping that associates to each element of the ring another element of the same ring, reflecting the idea of differentiation.