写像しゃぞう

$f$ を $X$ から $Y$ への 対応 とする。

任意の $x\in X$ に対して、$f$ によって $x$ に対応する $y\in Y$ がただひとつ存在するとき、

$f$ を $X$ から $Y$ への 写像 とよぶ。