满射的定义：如果每个可能的像至少有一个变量映射其上（即像集合B中的每个元素在A中都有一个或一个以上的原像），或者说值域任何元素都有至少有一个变量与之对应，那这个映射就叫做满射。