Properties of definite integrals