What is the Formal Definition of the Definite Integral of the function #y=f(x)# over the interval #[a,b]# ?