Paste_Image.png

單射 | one to one | injection

一個(gè)函數(shù)稱為單射(一對(duì)一)如果每個(gè)可能的像最多只有一個(gè)變量映射其上。等價(jià)的有，一個(gè)函數(shù)是單射如果它把不同值映射到不同像。一個(gè)單射函數(shù)簡(jiǎn)稱單射。形式化的定義如下。

ME: 就是說(shuō)Y集合上面每一個(gè)像對(duì)應(yīng)到X中要么沒(méi)有，要么只有一個(gè)。

滿射 | onto | surjection

一個(gè)函數(shù)稱為滿射（到上）如果每個(gè)可能的像至少有一個(gè)變量映射其上，或者說(shuō)陪域任何元素都有至少有一個(gè)變量與之對(duì)應(yīng)。

ME : 每一個(gè)y對(duì)應(yīng)一個(gè)或者多個(gè)x,每一個(gè)x對(duì)應(yīng)一個(gè)y或者不對(duì)應(yīng)

雙射 | 一一映射 | bijection

既是單射又是滿射的函數(shù)稱為雙射. 函數(shù)為雙射當(dāng)且僅當(dāng)每個(gè)可能的像有且僅有一個(gè)變量與之對(duì)應(yīng)。--wiki

ME ： X Y中元素的個(gè)數(shù)相同，且每一個(gè)x對(duì)應(yīng)一個(gè)唯一的y，每一個(gè)y也對(duì)應(yīng)唯一的x