Un aniellu ye un conxuntu dotáu de dos operaciones. La primera da al conxuntu estructura de grupu, y la segunda operación ye asociativa y distributiva con al respective de la primer operación. Puede o nun ser conmutativa. Si cada elementu distintu de cero tien un inversu multiplicativu (un elementu x tal que ax = xa = 1), l'aniellu llámase aniellu de división. Un cuerpu defínese como un aniellu de división conmutativu.