Suatu operasi dedua * atas set S {\displaystyle S} adalah kalis tukar tertib jika:

∀ x , y ∈ S : x ∗ y = y ∗ x {\displaystyle \forall x,y\in S:x*y=y*x\,}