在数学领域，我们将”一一对应”定义为两个集合之间具有一对一关系的对应关系。换句话说，对于两个集合X和Y，存在一个函数使得X的每个元素都与Y的一个元素对应，并且Y的每个元素也都与X的一个元素对应。这种对应关系被称为双射或一对一对应。
具体来说，一一对应必须满足以下四个属性：
1. X的每个元素必须与Y的至少一个元素对应。
2. Y的每个元素必须与X的至少一个元素对应。
3. X的任何元素都不能与Y的多个元素对应。
4. Y的任何元素都不能与X的多个元素对应。
一一对应的概念可以被概括为部分函数，也就是说，这种函数在一部分定义域上是未定义的。因此，并没有必要将它强制约束为总函数，也就是在定义域的每个点都有定义。
对称反半群是指所有基准集合上的部分函数的集合，其中每个函数都是部分双射。
