単射
injection
$ a,a' \in A, f(a)=f(a')ならば$ a=a'
スタート地点が異なるなら、絶対に異なる先へ向かう
https://eman-physics.net/math/linear12/mapping.png
上の定義の対偶を取れば、$ a,a' \in A, a\ne a'ならば$ f(a)\ne f(a')であり、これも単射の定義になるが
裏の$ a=a'\Rightarrow f(a)=f(a')ではどういう差がでてくるか
例えば以下のような単射でない写像$ fでも成り立ってしまっている
https://gyazo.com/8f7586e02b24adc3859a7dc579a0c377