函数是定义域到值域的对应法则 对吗