Definition of a Definite Integral