一一对应是一种常见的对应，指两集合元素之间有一对一关系的对应。在数学中，双射，双射函数或一对一对应是两组的元素之间的函数。
其中一组的每个元素与另一组的元素恰好配对，另一组的每个元素与第一组的正好一个元素也恰好配对。没有不配对的元素。在数学术语中，双射函数f：X→Y是集合X与集合Y的一一映射，也叫一一对应。
扩展资料：
一一对应的功能
一一对应的概念概括为部分功能，即将其称为部分双射。这种原因是（适当的）部分功能对于其一部分域已经是未定义的；因此没有强制性的理由将其逆向约束为总功能，即在其域上的任何地方都被定义。给定基集合上的所有部分双射的集合称为对称反半群。
定义相同概念的另一种方式是说，从A到B的部分对应是任何关系R（其证明是部分功能），其特征在于R是对应f的图：A'→B' ，其中A'是A的子集，B'是B的子集。
当部分对应处于同一组时，有时称为一对一部分变换。一个例子是简单地在复杂平面上定义的莫比斯变换，而不是完成扩展的复杂平面。
