映射：设A,B是两个集合,是集合A到集合B的映
射,如果在这个映射下,对于集合A中不同的元素在B
中有不同的象,而且集合B中的每一个元素都有原象,
这个映射叫做A到B上的一一映射
集合的定义要求：原象集A里的每一个元素都能在象集B里有唯一一个元素与之对应.注意：原象集……一个元素；象集里有……元素.
这说明原象集A、象集B都有至少有一个元素,因而都不是空集.