Se numește inel (unitar) un triplet ( ) unde "*" și " " sunt 2 legi de compoziție definite pe mulțimea A care îndeplinesc următoarele condiții:
1. (A,*) este grup comutativ (sau abelian)
2. (A, ) este monoid
3. A 2-a lege de compoziție " " este distributivă față de prima lege de compoziție "*", adica dacă au loc relațiile:
Observație: Dacă operația " " este comutativă, atunci cele 2 relații sunt echivalente și se aplică numai prima relație.