函数定义与性质