如果在区域上函数满足偏序，那么积分结果也满足 本质上就是极限的保序性 特别的，绝对值不等式的序构造了积分的绝对值不等式 f 的绝对值的积分大于 f 的积分，负绝对值同理 f 和上下界满足一组偏序，得到 估值定理