数学では、 y = f ( x )の場合、 y は関数fによるxのイメージであると言います。拡張して、関数fによる部分Eのイメージを、 Eに先行詞が存在する要素yの集合と呼びます。画像セットの各yについて、 y = f ( x )となる定義セットの要素x を見つけることができます。
この用語は、実際の変数の関数だけでなく、あらゆる変換にも使用されます。したがって、私たちは対称性によって図形のイメージについて話します。
イメージをfの到着セット (またはコドメイン) と混同しないでください。与えられた関数f : A → Bの場合、定義セットはAで、到着セットはBです。イメージf ( A ) は、一般にBのサブセットにすぎません。