不用必须。函数是数集到数集映射，并且这个映射是“满”的，即满映射f：A→B是一个函数，其中原像集A称做函数的定义域，像集B称做函数的值域，在函数的定义中不要求是满射，就是说值域应该是B的子集。