什么叫满射

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

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