Legi de compoziţie

Definiţie. Fie M o mulţime nevidă. O aplicaţie \(f:M\times M\rightarrow M\) care asociază fiecărei perechi ordonate \(\left ( x,y \right )\in M\times M\) un unic element \(f\left ( x,y \right )\in M\) se numeşte lege de compoziţie pe mulţimea M. Elementul \(f\left ( x,y \right )\) se numeşte compusul lui \(x\) cu \(y\).