定积分函数是指函数f(x)在区间[a,b]上的积分，记作∫abf(x)dx。其中a和b是积分的上下限，f(x)是积分函数，dx是积分的微元。定积分的定义可以分为三个步骤：分割、近似和求和。