“一一對應”是什麼意思

“一一對應”指二集合元素之間有一對一關係的對應。

在數學中，雙射，雙射函數或一對一對應是兩組的元素之間的函數，其中一組的每個元素與另一組的元素恰好配對，另一組的每個元素與第一組的正好一個元素也恰好配對，叫一一對應。

對於X和Y之間的配對（其中Y不需要與X不同）稱爲對應，以下四個屬性必須成立：

1、X的每個元素必須與Y的至少一個元素配對；

2、Y的每個元素必須與X的至少一個元素配對；

3、沒有X的元素可以與Y的多於一個元素配對；

4、Y的任何元素都不能與X的多個元素配對。

一一對應的概念概括爲部分功能，即將其稱爲部分雙射。這種原因是（適當的）部分功能對於其一部分域已經是未定義的；因此沒有強制性的理由將其逆向約束爲總功能，即在其域上的任何地方都被定義。給定基集合上的所有部分雙射的集合稱爲對稱反半羣。