निम्नलिखित प्रकार से समुच्चय `{0,1,2,3,4,5} `में एक द्विआधारी संक्रियाँ परिभाषित कीजिए -
` " "a**b = {(a+b ,a+b lt 6 ),( a+b -6 , a+b ge 6):}`
सिद्ध कीजिए की शून्य (0 ) इस संक्रिया का तत्समक अवयव है तथा `6-a,` अवयव का प्रतिलोम है|