写像

写像の性質

任意のa_1, a_2 \in Aについて、f(a_1) = f(a_2) \implies a1 = a2であるとき、写像fは単射(injective)であるという。

任意のb \in Bについて、適当なa \in Aが存在してf(a) = bとなるとき、写像fは全射(surjective)であるという。

写像fが単射かつ全射であるとき、fは全単射(bijective)であるという。