全単射

$f\colon X\to Y$ について、任意の $y\in Y$ に対して $f(x)=y$ となる $x\in X$ がただひとつ存在するとき、$f$ を 全単射 という。