抽象函数单调性