1. 概述 单射 是一类 映射 , 使得对任意 , 当 时 成立, 它亦是 集合范畴 中的 单同态. 而从 拓扑学 的观点来看, 单射亦可被理解为所有 中点的 纤维 皆是 单点集. 2. 定义 定义 1 (单射) 设 为 集合, 称 映射 为 到 的 单射, 当满足了： 3. 例子 4. 相关性质 命题 2 (单射的复合仍是单射) 设 为 集合, 两个 单射 以及 , 则 复合 仍为单射. 命题 3 (复合映射 为单射则 亦单) 设 为 集合, 映射 以及 , 若 为 单射, 则 仍为单射. 命题 4 ( 为单射 是某个映射的截面) 设 为 集合 (其中 非空) 以及 映射 , 则： 为单射 其中右侧条件相当于是说 是 的右逆, 即 是 的 截面 (或称 是 的 缩回). 5. 相关概念 满射, 双射 单同态 6. 术语翻译 中文英文单射injection 集合论