数学において、何らかの写像の像（ぞう、）は、写像の始域（域、定義域）の部分集合上での写像の出力となるもの全てからなる、写像の終域（余域）の部分集合である。すなわち、始域の部分集合 "X" の各元において写像の値を評価することによって得られる集合を "f" による（または "f" に関する、"f" のもとでの、"f" を通じた）"X" の像という。また、写像の終域の何らかの部分集合 "S" の逆像（ぎゃくぞう、）あるいは原像（げんぞう、）は、"S" の元に写ってくるような始域の元全体からなる集合である。像および逆像は、写像のみならず一般の二項関係に対しても定義することができる。「像」という語は、その対象とするものによって互いに関連のある三種類の意味で用いられる。集合 "X" から集合 "Y" への写像 "f": "X" → "Y" に対して、以下のように定義する。"f" が "X" から "Y" への写像とするとき、部分集合 "B" ⊆ "Y" の "f" による原像あるいは逆像とはで定義される "X" の部分集合である。"f" による引戻し とも呼ばれる。一元集合の逆像 "f"[{"y"}] あるいは "f"["y"] は "y" 上のファイバーあるいは "y" のレベル集合などとも呼ばれる。"y" の各元の上のファイバー全体からなる集合は "Y" で添字付けられた集合族になっている。同様にしてファイバー付けられた圏の概念を考えることもできる。やはり、"f"["B"] を "f"("B") と書くことに紛れの恐れはなく、"f" を "Y" の冪集合から "X" の冪集合への写像として考えることができる。ただし、記号 "f" を逆写像と混同すべきではない（両者が一致するのは "f" が全単射のときに限る）。既に用いた部分集合の像や逆像に関する慣習的な記法はしばしば混乱を生ずる可能性を持つ。これを明示的に代替する表記として、冪集合間の写像としての像や原像に対しては、以下のような表記が提案されている：写像 "f": "X" → "Y" と "X" の任意の部分集合 "A

出典:wikipedia