原始関数と不定積分

$I$ を区間、$f : I \to \mathbb{R}$ を関数とする。$I$ 上で微分可能な関数 $F : I \to \mathbb{R}$ がすべての $x \in I$ で

を満たすとき、$F$ を $I$ 上の $f$ の 原始関数 という（$I$ が端点を含むときは、その点では片側微分係数を考える）。