单射

集合间映射 $f:X\to Y$ 称为单射 (或一一映射), 如果 $f$ 将不同的元素映到不同的元素. 换言之, $Y$ 中每个元素的原像至多有一个元素.

单射也是集合范畴中的单态射.

1定义

定义 1.1 (单射). 集合间映射 $f:X\to Y$ 称为单射, 如果对任何 $x_1,x_2\in X$, 若 $f(x_1)=f(x_2)$, 则 $x_1=x_2$.

2相关概念

•	满射、双射
•	单态射

术语翻译

单射 • 英文 injection • 德文 Injektion (f) • 法文 injection (f) • 拉丁文 iniectio (f) • 古希腊文 ἑνίεσις (f)

单 (形容词) • 英文 injective • 德文 injektiv • 法文 injectif • 拉丁文 iniectivus • 古希腊文 ἑνιετικός