संयोजन-नियम क्या है?

समुच्चय $E$ पर संयोजन-नियम एक प्रतिचित्रण $E \times E \to E$ है, जिसे $(x, y) \mapsto x * y$ लिखा जाता है। वह साहचर्य तब है जब सदा $(x*y)*z = x*(y*z)$ हो, और क्रमविनिमेय तब जब सदा $x * y = y * x$ हो। अवयव $e$ तत्समक तब है जब सभी $x$ के लिए $e * x = x * e = x$; और तब $x'$ $x$ का प्रतिलोम तब है जब $x * x' = x' * x = e$।