A differential field is a commutative field equipped with derivations.

A differential field is a commutative field $K$ equipped with derivations which are unary functions that are linear and satisfy the Leibniz product rule.

A natural example of a differential field is the field of rational functions in one variable over the complex numbers, $\mathbb{C}(t)$, where the derivation is differentiation with respect to $t.$