写像 f:A→B が f(x)=f(y) ならば x=y を満たすとき，f はどのような性質を持つと言うか。

写像 f:A→B が単射であることは『異なる元が同じ像に写らない』すなわち f(x)=f(y) ならば x=y が成り立つことで定義される。単射であるかどうかは値の取り方だけに依存し，全射や全単射かどうかとは独立に判定できる。定数関数は複数の元が同じ像を持つため単射ではないし，全射であるだけでは異なる元が同じ像に写る可能性を排除できない。従ってこの性質を表す名称は選択肢4の単射である。