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