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.$