一一对应是一种常见的对应，指二集合元素之间有一对一关系的对应。

在数学中，双射，双射函数或一对一对应是两组的元素之间的函数，其中一组的每个元素与另一组的元素恰好配对，另一组的每个元素与第一组的正好一个元素也恰好配对，叫一一对应。

一一对应的概念概括为部分功能，即将其称为部分双射。这种原因是（适当的）部分功能对于其一部分域已经是未定义的；因此没有强制性的理由将其逆向约束为总功能，即在其域上的任何地方都被定义。给定基集合上的所有部分双射的集合称为对称反半群。