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
