関数

Function

入力である引数を写像の始域として、出力である関数の値を写像の終域とする。