全射

写像fが全射であるとは、値域が定義域全体に一致することを意味する。

この関数は、全射かつ単射なので、全単射である。

集合Aから集合Bへの写像が全射であれば、Bの各元はAの少なくとも一つの元に対応する。