Nechť
- je neprázdná množina
- je binární operace
- je binární operace
Platí-li, že
- je abelovská grupa (neutrální prvek značíme a nazýváme nulovým prvkem)
- je abelovská grupa (neutrální prvek značíme a nazýváme jednotkovým prvkem)
- Platí levý a pravý distributivní zákon, tj. (násobení je distributivní vůči sčítání)
nazýváme uspořádanou trojici tělesem