Jabarkan Definisi dari Teori roda

Sebuah roda merupakan sebuah strukur aljabar , di mana

dan  merupakan elemen dari himpunan tersebut,

Penjumlahan dan perkalian adalah komutatif dan asosiatif, dengan  dan  sebagai masing-masing identitasnya.

Roda menggantikan pembagian biasa sebagai operator biner dengan perkalian, dengan sebuah operator uner diterapkan ke satu argumen  mirip (tapi tak identis) dengan invers perkalian , sehingga  menjadi tulisan cepat untuk , tetapi bukan baik  maupun  umumnya, dan memodifikasi aturan aljabar sehingga