We have seen that an antiderivative, or indefinite integral as it is often called,
is a function. In this section we define the definite integral which will be seen to be a number. The connection between these two types of integrals will be
established when we prove the fundamental theorem of the integral calculus.