反函数的定义