全写像しゃぞう

$f\colon X\to Y$ について、任意の $y\in Y$ に対して $f(x)=y$ となる $x\in X$ が存在するとき、$f$ を 全写像 とよぶ。