Let I denote a real interval, and
a primitive function for a function f:I→ℝ. Suppose that a,b∈I. Then one sets