単写像しゃぞう

$f\colon X\to Y$ について、任意の $x_1,x_2\in X$ に対して $f(x_1)=f(x_2)$ ならば $x_1=x_2$ であるとき、$f$ を 単写像 とよぶ。