Lege de compoziție

O lege de compoziție pe o mulțime nevidă $M$ este o funcție care asociază fiecărei perechi de elemente $(x,y)$ din $M$ un singur element $x\ast y$, tot din $M$. Rezultatul $x\ast y$ se numește compusul lui $x$ cu $y$.

Exemplu: Pe $\mathbb{R}$, $x\ast y=xy-2x-2y+6$ este o lege de compoziție: de exemplu $3\ast 4=12-6-8+6=4$.

Vezi și: Parte stabilă, Tabla operației, Element neutru