Platí-li, že
1 ) je abelovská grupa(neutrální prvek značíme a nazýváme nulovým prvkem)
2 ) je abelovská grupa(neutrální prvek značíme a nazýváme jednotkovým prvkem)
3 ) Platí levý a pravý distributivní zákon, tj. (násobení je distributivní vůči sčítání)
nazýváme uspořádanou trojicitělesem
Definicí připouštíme i tzv. "komutativní tělesa" a to díky požadavku na "abelovskou" grupu v 2. bodě
Kdyby byla jen "obyčejná" grupa, jedná se o tzv. "nekomutativní tělesa"