X,Yを集合とする。任意のx\in Xに対し、あるy\in Yが一意に定まるとするような対応規則のこと

なので、入力側の集合に関しては、全ての元がスタート地点になってないといけない

ただ、出力側の集合は、ゴール地点になっていない元があっても別にいい

関連