“一一对应”指二*元素之间有一对一关系的对应。
在数学中，双射，双射函数或一对一对应是两组的元素之间的函数，其中一组的每个元素与另一组的元素恰好配对，另一组的每个元素与第一组的正好一个元素也恰好配对，叫一一对应。
对于x和y之间的配对（其中y不需要与x不同）称为对应，以下四个属性必须成立：
1、x的每个元素必须与y的至少一个元素配对；
2、y的每个元素必须与x的至少一个元素配对；
3、没有x的元素可以与y的多于一个元素配对；
4、y的任何元素都不能与x的多个元素配对。
一一对应的概念概括为部分功能，即将其称为部分双射。这种原因是（适当的）部分功能对于其一部分域已经是未定义的；因此没有强制性的理由将其逆向约束为总功能，即在其域上的任何地方都被定义。给定基*上的所有部分双射的*称为对称反半群。