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