映射中滿射是什麼求舉例

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

滿射

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

定義出發。滿射的定義：對於一個映射f:X-Y，任意一個Y中的元素在X中都有原像。證明的時候任取Y中元素，找到X中原像即可。