image)は、写像の始域(域、定義域)の部分集合上での写像の出力となるもの全てからなる、写像の終域(余域)の部分集合である。元に写ってくるような始域の元全体からなる集合である。像および逆像は、写像のみならず一般の二項関係に対しても定義することができる。定義Edit「像」という語は、その対象とするものによって互いに関連のある三種類の意味で用いられる。対して、以下のように定義する。出力などとも呼ばれる。A:y=f(x)\}}と定義される。これは一般によく用いられる記法だが、その意味は文脈から推察する必要がある。誘導する写像)とみる見方を与えるものになっている。