“函数f(x)(x属于R)存在反函数”,是“函数f(x)在R上单调”的什么条件啊?