若在映射
f
：
A
→
B
作用下，集合
A
中不同元素在集合
B
中有不同的象，而且
B
中每一元素都有原象，那么
f
：
A
→
B
叫做
A
到
B
上的一一映射．