等價交換是數學和計算機科學中某些運算的屬性，它們可以被多次應用而不改變最初應用的結果。它的概念出現在抽象代數（特別是在投影儀和閉合運算符的理論中）和函數式編程（它與指稱透明的屬性有關）的許多地方。

一個元素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函數是等價的。