単射・全射・全単射
単射
定義（単射）
写像 \(f:A\to B\) が条件
\[
\forall a_1,a_2\in A,~a_1\neq a_2\Longrightarrow f(a_1)\neq f(a_2)
\]
を満たすとき、\(f\) は単射であるという。
全射
定義（全射）
写像 \(f:A\to B\) に対して
\[
f(A)=B
\]
が成り立つとき、\(f\) は全射であるという。
全単射
定義（全単射）
写像 \(f\) が単射かつ全射であるとき \(f\) は全単射であるという。