Definition

Given a sequentially Cauchy complete Archimedean ordered field $\mathbb{R}$ and a function $f:\mathbb{R} \to \mathbb{R}$, the type of antiderivatives of $f$ is the fiber of the Newton-Leibniz operator at $f$:

An antiderivative is a term of the above type.

See also

• differentiable function

• derivative