#Contents# * table of contents {:toc} ## Definition ## Given a [[calculus field]] $F$, a [[subtype]] $S \subseteq F$, and a function $f:S \to F$, the type of antiderivatives of $f$ is the [[fiber]] of the [[Newton-Leibniz operator]] at $f$: $$antiderivatives(f) \coloneqq \sum_{g:D^1(S, F)} \tilde{D}(g) = f$$ An __antiderivative__ is a term of the above type. ## See also ## * [[differentiable function]] * [[derivative]]