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