किसी प्रदत्त अरिक्त समुच्चयंत्र के लिए एक द्विआधारी संक्रिया *:P(X) `xx` P (X) `rarr` P(X) पर विचार कीजिए, जो A* B= `A capB , AA , B in P(X)` द्वारा परिभाषित है, जहाँ P(X) समुच्चय x का घात समुच्चय (Power set) है। सिद्ध कीजिए कि इस संक्रिया का तत्समक अवयव X है तथा संक्रिया * के लिए P(X) में केवल X व्युत्क्रमणीय अवयव है।