反函数的定义是什么?