先给出定义：
如果集合A中的元素x对应集合B中元素y,那么集合A中的元素x叫集合B中元素y的原象,集合B中元素y叫集合A中的元素x的象.
先看前提：集合A中的元素x对应集合B中元素y，“原象一定有象”毋庸置疑！
“象不一定有原象”却是错误，x对应y的前提，y才能称作象，B中没有x对应的其他元素y"就不能称作象了，即y"没有原象。所以象也一定有原象，只是B中的元素不一定有原象！