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