函数要求对定义域内的每一个x,都要有唯一的y与它对应；
即一个x只能对应一个y;