กำหนดการดำเนินการทวิภาค ∗ บนเซต S เราจะกล่าวว่าการดำเนินการนั้น สลับที่ได้ ถ้าหาก ∀ x , y ∈ S : x ∗ y = y ∗ x {\displaystyle \forall x,y\in S:x*y=y*x\,} ส่วนการดำเนินการที่ไม่เป็นไปตามเงื่อนไขด้านบน จะถือว่าเป็นการดำเนินการที่ สลับที่ไม่ได้ หรือ ไม่สลับที่ (non-commutative)
เราอาจกล่าวได้ว่า x สามารถ สลับที่ กับ y ภายใต้การดำเนินการ ∗ ถ้าหาก x ∗ y = y ∗ x {\displaystyle x*y=y*x\,}
กำหนดฟังก์ชันทวิภาค f : A×A → B เราจะกล่าวว่าฟังก์ชันนั้น สลับที่ได้ ถ้าหาก ∀ x , y ∈ A : f ( x , y ) = f ( y , x ) {\displaystyle \forall x,y\in A:f(x,y)=f(y,x)\,}
