函数中存在反函数的条件是什么?