Definition Suppose f,F:D→R, and the function F satisfying the following, then it is called the antiderivative of f F′(x)=f(x)∀x∈D