必须要求定义域为数集,而且每个定义域的元素,有且仅有一个值域的元素与它对应、、、