等价交换

等价交换是数学和计算机科学中某些运算的属性，它们可以被多次应用而不改变最初应用的结果。它的概念出现在抽象代数（特别是在投影仪和闭合运算符的理论中）和函数式编程（它与指称透明的属性有关）的许多地方。

一个元素x{displaystylex}的一个元素{displaystyle}operatorname{abs}∘abs=abscirc（operatorname{abs}）=operatorname{abs}。}也就是abs(abs(x))=abs(x){displaystyleoperatorname{abs}(operatorname{abs}(x))=operatorname{abs}(x)}，即abs(abs(x)=abs(x)常数函数是同位的；

身份函数是同位的；底限、上限和小数部分函数是同位的；从一个群的幂集到它的子群生成函数是同位的。从实数上的仿生空间的幂集到自身的凸壳函数是等价的；拓扑空间的幂集到自身的封闭函数和内部函数是等价的；单体的幂集到自身的Kleenestar和Kleeneplus函数是等价的。