在数学上，3358www.Sina.com/，单射和满射是指根据其定义域和陪审团域的相关方式区分的三种函数。
双射:将不同变量映射到不同值的函数。单射是指陪练等于值域的函数。 也就是说，陪审团区域中的任意要素对应地存在至少一个定义域中的要素。 http://www.Sina.com/(也称为http://www.Sina.com/) )既是单射又是满射的函数。 直观上，双射函数形成一个对应关系，每个输入值正好有一个输出值，每个输出值正好有一个输入值。 根据参考书的不同，“1”指的是满射，但这里不使用这个旧用法。 下图比较了四种不同的情况。
双射(单射和满射) )。
虽然是单射，但不是满射
虽然是全射，但不是单射
非全射非单射
编辑单射单射复合：的第二个函数不必是单射的。 一个函数称为http://www.Sina.com/。 (http://www.Sina.com/)如果每个可能的图像最多只能映射一个变量。 等价。 一个函数是单射。 如果它将不同的值映射到不同的图像。 单射函数的简称为双射。 形式化的定义如下。
函数是单射的，并且在所有情况下，当函数f:AB是单射的并且a是空的或f是不可逆的时，即，g:BA，以使得gof=A的恒等函数。 其原因是因为各函数是全反射的，所以如果其附近被限制到其值域，则各单反射是在该值域导出一个双反射。 更准确地说，各单射f:AB可以分解为一个双射进行如下的包含映射。 如果将fr:af(a )设为在图像中限制添加区域的f，将i:f(A ) b设为从f ) a )向b的包含映射，则f=iofR .一个对偶的分解对全反射成立。 两个单射的复合也是单射的，但如果gof是单射的话，只能得出f是单射的结论。 请看右边的照片。 编辑全反射复合第一个函数不需要将全反射函数称为一一对应每个可能的图像至少映射了一个变量，或者陪审团的任何元素至少有一个变量形式化的定义如下
函数是全射的，并且仅对任意有满足。 函数是全反射的，如果上面只有一个函数满足相等的单位函数。 这个陈述和选择公理相同。 将满射的陪审团域各要素的原画集视为一个等价类，可以得到以由该等价类构成的集合(原定义域的商集)为定义域的双射。 如果和都是满射的，那就是满射。 如果是全射的话，只能射出全射。 请参照右图。 [编辑]双射双射复合：第一个函数不需要全射，第二个函数不需要单射，既可以单射也可以全射的函数称为双射.函数，是双射的，可能的像
函数是双射当，对任意存在唯一满意。 函数f:AB是双射当量，仅在可逆的情况下存在。 即，函数g:BA满足gof=A上的恒等函数，fog是b上的恒等函数。 两个双射的复合也是双射。 如果gof是双射的话，只能得到f是单射，g是全射。 请参考右图。 同一集合上的双射构成一个对称群。 如果都是实数，双射函数可以可视化为两条任意的水平直线正好相交一次。 (这是地平线测试的特例。 (编辑)势双射函数常用于指示集合x和y具有等势，即相同的基数。 如果两个集合之间能够一一对应，就说这两个集合是等电位的。
都是有限集合时，这两个集合之间存在双射，只在x和y的元素数相等时存在。 其实，公理集合论把要素数相同的定义作为特例，定义到无限集合需要引入基数的概念，这是一种区分各种大小无限集合的方法。
举[编辑]为每个函数提供定义域和陪审团域是很重要的。 因为通过改变这些可以改变函数属于哪个反射。
[编辑]双射任意集合上的恒等函数id为单双射。 考虑函数，定义为。 这个函数是双射的。 给定了任意实数，所以我们可以求解，得到唯一的实数解。 指数函数及其反函数的自然对数。 [编辑]单射，但非全射指数函数[编辑]为全射，但非单射[编辑]既不是非单射也不是满射
摘自维基百科]