满射：如果每个可能的像至少有一个变量映射其上(即像集合B中的每个元素在A中都有一个或一个以上的原像)，或者说值域任何元素都有至少有一个变量与之对应。形式化的定义如下：

满射

函数为满射，当且仅当对任意b，存在a满足。将一个满射的陪域中每个元素的原像集看作一个等价类，我们可以得到以该等价类组成的集合（原定义域的商集）为定义域的一个双射。

映射中满射是什么求举例

定义出发。满射的定义：对于一个映射f:X-Y，任意一个Y中的元素在X中都有原像。证明的时候任取Y中元素，找到X中原像即可。