समुच्चय Q पर परिभाषित एक द्विआधारी संक्रिया निम्नलिखित है। ज्ञात करें कि द्विआधारी संक्रिया क्रमविनिमेय है।
` a **b =(a-b)^(2)AA a , b in Q `

Explanation

`a **b=(a-b)^(2)=(b-a)^(2)=b**a`
अतः संक्रिया * क्रमविनिमेय है।