写像
https://ja.wikipedia.org/wiki/写像
二つの
集合
が与えられたときに、一方の集合の各元に対し、他方の集合のただひとつの元を指定して結びつける対応のこと
関数
現代的な立場では、「写像」と（一価の）「関数」は論理的におなじ概念を表すものと理解されているが、歴史的には「関数」の語は解析学に出自を持つものであり、一部には必ずしも写像でないものも関数の名の下におなじ範疇に扱われる（多価関数参照）。
$ f:A \rightarrow B
$ A \xrightarrow{f} B