قانون تركيب কী?

قانون التركيب على مجموعة $E$ هو تطبيق $E \times E \to E$، يُكتب $(x, y) \mapsto x * y$. ويكون تجميعيًا عندما يكون $(x*y)*z = x*(y*z)$ دائمًا، وتبديليًا عندما يكون $x * y = y * x$ دائمًا. ويكون العنصر $e$ محايدًا عندما يكون $e * x = x * e = x$ لكل $x$؛ وعندئذ يكون $x'$ مقلوبًا للعنصر $x$ عندما يكون $x * x' = x' * x = e$.