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