原像

設 是集合 和 之間的對映。設 。那麼 在 下的原像記為 ，並且是 中所有對映到 中元素的元素的集合。因此

(1)

不應被符號誤導，認為原像與 的逆有關。原像的定義與 是否有逆無關。但請注意，如果 確實有逆，那麼原像 正好是 像 在逆對映下的像，從而證明了這種可能略有誤導性的符號。

對於任何 ，以下等式成立

(2)

等號成立的條件是，如果 是滿射，並且對於任何子集 ，以下等式成立

(3)

等號成立的條件是，如果 是單射。

原像出現在各種學科中，其中最常見的是拓撲學，根據定義，如果每個開集的原像都是開集，則對映是連續的。