单射

设映射 $\phi :A\to B$，若 $a\ne a^{\prime }$，则 $\phi (a)\ne \phi (a^{\prime })$，则称 $\phi$ 是单映射.
等价说法： $\phi (a)=\phi (a^{\prime })⟹a=a^{\prime }$.