滿射

如果每個可能的像至少有一個變數映射其上(即像集合B中的每個元素在A中都有一個或一個以上的原像)，或者說值域任何元素都有至少有一個變數與之對應，那這個映射就叫做滿射。

基本內容

一個函式稱為滿射:如果每個可能的像至少有一個變數映射其上(即像集合B中的每個元素在A中都有一個或一個以上的原像)，或者說值域任何元素都有至少有一個變數與之對應。形式化的定義如下：

函式為滿射，若且唯若對任意b，存在a滿足f(a) = b。
　將一個滿射的陪域中每個元素的原像集看作一個等價類，我們可以得到以該等價類組成的集合（原定義域的商集）為定義域的一個雙射。