函式原象一定有象對應嗎

對映F：X—>Y對集合X中的任一元素x按法則F在Y中都有唯一確定的元素y對應。

這時可以稱y為x在對映F的像，而x為y的原像，這時一個相互的概念同時成立的，有像必有原像。

只是Y中的元素不一定都能成為x對映後的像。

換成函式來說，就是函式值域只是Y的子集。