原像

給定 ， 的像是 。 那麼， 的原像是 ，或者說是所有那些像為 的 。 像是值域的元素，而原像是定義域的子集（可能為空集）。