定义：设A和B是两个非空集合,如果按照某种对应关系f,对于集合A中的任何一个元素,在集合B中都存在唯一的一个元素与之对应,那么,这样的对应（包括集合A,B,以及集合A到集合B的对应关系f）叫做集合A到集合B的映射(Mapping),记作f：A→B.
给定一个集合A到集合B的映射,且a∈A,b∈B,如果元素a和元素b对应,那么,我们把元素b叫做元素a的象,元素a叫做元素b的原象.