满射：如果每个可能的像至少有一个变量映射其上，或者说值域任何元素都有至少有一个变量与之对应，那这个映射就叫做满射。
1、满射复合：第一个函数不必为满射，一个函数称为满射。如果每个可能的像至少有一个变量映射其上，或者说陪域任何元素都有至少有一个变量与之对应。函数为满射，当且仅当对任意，存在满足。
2、数学上，单射、满射和双射指根据其定义域和陪域的关联方式所区分的三类函数。单射：指将不同的变量映射到不同的值的函数。 满射：指陪域等于值域的函数。即：对陪域中任意元素，都存在至少一个定义域中的元素与之对应。
3、 双射（也称一一对应）：既是单射又是满射的函数。直观地说，一个双射函数形成一个对应，并且每一个输入值都有正好一个输出值以及每一个输出值都有正好一个输入值。 （在一些参考书中，“一一”用来指双射，但是这里不用这个较老的用法。）
