【プログラマーのための数学】写像とは - Qiita

このように、ある規則によって、AとBの要素が1つずつ結びついているとき、AからBへの写像 (mapping)と呼び、f:A⟶Bのような式で表します。 定義域、値域 また、写像f:A⟶Bにおいて、Aをfの定義域(domain of definition) 、Bを値域(range)といいます。 また、Aの要素aに対応するBの要素を、f(a)と表し、 f による a の像 (image)、または f の a における値 (value) と呼びます。 上記の例でいうと、下記のようになります。