映射F：X—>Y对集合X中的任一元素x按法则F在Y中都有唯一确定的元素y对应。

这时可以称y为x在映射F的像，而x为y的原像，这时一个相互的概念同时成立的，有像必有原像。

只是Y中的元素不一定都能成为x映射后的像。

换成函数来说，就是函数值域只是Y的子集。