函数分类单射函数，将不同的变量映射到不同的值
即：对于所有 和 ，当 时有
满射函数，其值域即为其对应域
即：对映射f的对应域中之任意y，都存在至少一个x满足 y=f（x）
双射函数，既是单射的又是满射的
也叫一一对应
双射函数经常被用于表明集合X和Y是等势的，即有一样的基数
如果在两个集合之间可以建立一个一一对应，则说这两个集合等势
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
