सिद्ध कीजिए की {1,2} में ऐसी द्विआधारी संक्रियाओं की संख्या केवल एक ही, जिसका तत्समक 1 है। तथा जिसके अंतगर्त 2 पर प्रतिलोम 2 है।

Explanation

माना `A={1,2}` तब,
`AxxA={(1,1),(1,2), (2,1), (2,2)}`
हम जानते है की A में द्विआधारी संक्रिया `AxxA` से A में एक फलन होता है। माना `**: A xx A to A` एक द्विआधारी संक्रिया है, तब
`1**1, 1**2, 2**1=2, 2**2=1`
स्पष्तः `**` अदिव्तीय रूप से परिभाषित है इसलिए अभीष्ट द्विआधारी संरक्रिया की संख्या की केवल एक है।