原像

数学において、何らかの写像の像 は、写像の始域（域、定義域）の部分集合上での写像の出力となるもの全てからなる、写像の終域（余域）の部分集合である。すなわち、始域の部分集合 X の各元において写像の値を評価することによって得られる集合を f による X の像という。また、写像の終域の何らかの部分集合 S の逆像 あるいは原像 は、S の元に写ってくるような始域の元全体からなる集合である。 (出典: 原像 - Wikipedia)