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