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

Explanation

`(a ** b)**c=(ab^(2))**c=ab^(2)c^(2) " " ` ….(1)
`a **(b**c) = a **(bc^(2))=ab^(2)c^(4) ne (a **b)**c " " ` [(1) से ]
अतः संक्रिया `**` साहचर्य नहीं है ।