反函数定义