[用户互动]函数

定义域、对应域和值域

输入值的集合 X 被称为 f 的定义域；可能的输出值的集合Y 被称为f的值域。函数的值域是指定义域中全部元素通过映射 f 得到的实际输出值的集合。注意，把对应域称作值域是不正确的，函数的值域是函数的对应域的子集。

计算机科学中，参数和返回值的https://baike.so.com/doc/1933730-2045809.html 分别确定了子程序的定义域和对应域。因此定义域和对应域是函数一开始就确定的强制进行约束。另一方面，值域是和实际的实现有关。

单射、满射与双射函数

单射函数，将不同的变量映射到不同的值。即：若x和y属于定义域，则仅当x 不等于 y时有f（x）不等于 f（y）。

满射函数，其值域即为其对映域。即：对映射f的对映域中之任意y，都存在至少一个x满足f（x）= y。

双射函数，既是单射的又是满射的。也叫一一对应。双射函数经常被用于表明集合X和Y是等势的，即有一样的基数。如果在两个集合之间可以建立一个一一对应，则说这两个集合等势。

定义域、对应域和值域

输入值的集合 X 被称为 f 的定义域；可能的输出值的集合Y 被称为f的值域。函数的值域是指定义域中全部元素通过映射 f 得到的实际输出值的集合。注意，把对应域称作值域是不正确的，函数的值域是函数的对应域的子集。

计算机科学中，参数和返回值的数据类型分别确定了子程序的定义域和对应域。因此定义域和对应域是函数一开始就确定的强制进行约束。另一方面，值域是和实际的实现有关。

单射、满射与双射函数

单射函数，将不同的变量映射到不同的值。即：若x和y属于定义域，则仅当x 不等于 y时有f（x）不等于 f（y）。

满射函数，其值域即为其对映域。即：对映射f的对映域中之任意y，都存在至少一个x满足f（x）= y。

双射函数，既是单射的又是满射的。也叫一一对应。双射函数经常被用于表明集合X和Y是等势的，即有一样的基数。如果在两个集合之间可以建立一个一一对应，则说这两个集合等势。