函数有反函数的充要条件为函数是一一对应,怎么理解这句话,能举例说明吗?