如果两个函数定义域与值域相同,对应法则需要满足什么条件?