Being a mapping such that every element of the set referred to is the image of an element in another.

• 映成的一集合中的每一元素，经映象后为另一集合至少一元素的象的。