Legea de compoziție și compusul a două elemente
Formulă din tema Legi de compoziție și clase de resturi, clasa a XII-a — cu legenda literelor și un exemplu rezolvat.
este o mulțime nevidă, iar se numește compusul lui cu . O lege de compoziție (operație algebrică binară) este, așadar, o funcție definită pe cu valori tot în — condiția aceasta din urmă se verifică prima: dacă iese din măcar pentru o pereche, nu este lege de compoziție pe . Notațiile fixate: o lege oarecare se scrie ; când apar două legi pe aceeași mulțime, a doua se scrie ; legile „de tip inel” se scriu și ; compunerea funcțiilor rămâne .
Exemplu: este lege pe : . • nu este lege pe , fiindcă .
