收敛函数的定义是?