नियत कीजिए। के सापेक्ष सर्वांगसमता वर्ग (उदाहरण 1.32) अवयवों का समुच्चय बनाते हैं, जिसे लिखा जाता है। संक्रियाएँ
सुपरिभाषित हैं — परिणामों के वर्ग प्रतिनिधियों पर निर्भर नहीं करते, ठीक इसलिए कि सर्वांगसमता और के अनुकूल है (परिभाषा 6.18) — और वे को क्रमविनिमेय वलय बना देती हैं।