निम्नलिखित प्रकार से समुच्यो में एक द्विआधिकारी * परिभाषित कीजिएः।
`a"*"b={{:(,a+b, यदि a+b lt6),(,a+b-6, यदि a+b ge6):}`
सिद्ध कीजिर कि शुन्य (0) इस सकिया का तत्समक है तथा समुच्ये की प्रतियेक व व्युत्गीय है, इस प्रकार कि 6-a,a का प्रतिलोम है