写像
$ X,Y
を
集合
とする。任意の
$ x\in X
に対し、ある
$ y\in Y
が一意に定まるとするような対応規則のこと
なので、入力側の集合に関しては、全ての元がスタート地点になってないといけない
ただ、出力側の集合は、ゴール地点になっていない元があっても別にいい
関連
多価関数