Jabarkan Aljabar dari Kuasigrup

Kuasigrup  adalah himpunan Q dengan operasi biner ∗ (yaitu, magma) menggunakan sifat persegi Latin. Hal ini bahwa, untuk a dan b dalam Q, dengan elemen x dan y dengan Q sehingga

a ∗ x = b,

y ∗ a = b

(Dengan elemen himpunan satu kali dengan baris dan kolom tabel perkalian kuasigrup, atau tabel Cayley. Sifat tabel Cayley dari kuasigrup hingga, dan grup hingga, adalah persegi latin.) Persyaratan dengan magma menjadi pembatalan.

Persamaan ditulis sebagai  dan . Operasi '\' dan '/' yaitu, kiri dan kanan divisi.

Himpunan kosong digunakan dengan operasi biner kosong dari definisi kuasigrup beberapa penulis, kuasigrup kosong yang digunakan secara eksplisit.