映射：设A,B是两个集合,是集合A到集合B的映

　　射,如果在这个映射下,对于集合A中不同的元素在B

　　中有不同的象,而且集合B中的每一个元素都有原象,

　　这个映射叫做A到B上的一一映射

　　集合的定义要求：原象集A里的每一个元素都能在象集B里有唯一一个元素与之对应.注意：原象集……一个元素；象集里有……元素.

　　这说明原象集A、象集B都有至少有一个元素,因而都不是空集.