- hulk, milles on defineeritud kaks kommutatiivset, assiotsiatiivset, teineteise suhtes distributiivset ning neelduvat binaarset operatsiooni ja ja unaarne operatsioon (täiend) nii, et iga x,y korral on rahuldatud tingimused