函数单调性定义