单射，双射与满射

Paste_Image.png

单射 | one to one | injection

一个函数称为单射(一对一)如果每个可能的像最多只有一个变量映射其上。等价的有，一个函数是单射如果它把不同值映射到不同像。一个单射函数简称单射。形式化的定义如下。

ME: 就是说Y集合上面每一个像对应到X中要么没有，要么只有一个。

满射 | onto | surjection

一个函数称为满射（到上）如果每个可能的像至少有一个变量映射其上，或者说陪域任何元素都有至少有一个变量与之对应。

ME : 每一个y对应一个或者多个x,每一个x对应一个y或者不对应

双射 | 一一映射 | bijection

既是单射又是满射的函数称为双射. 函数为双射当且仅当每个可能的像有且仅有一个变量与之对应。--wiki

ME ： X Y中元素的个数相同，且每一个x对应一个唯一的y，每一个y也对应唯一的x