可积分的定义