Jabarkan Gelung dari Kuasigrup

Gelung adalah kuasigrup dengan elemen identitas;

x ∗ e = x dan e ∗ x = x untuk x pada Q.

Maka elemen identitas e, dan elemen Q memiliki invers kiri dan invers kanan (yang tidak harus sama).

Kuasigrup dengan elemen idempoten disebut kuasi grup idempoten titik; gagasan lemah dari gelung tetap umum misalnya, jika grup abelian  dari operasi pengurangan sebagai perkalian kuasigrup pikue  dengan identitas grup (nol) menjadi "idempoten tajam" (yaitu, isotop utama .)

gelung asosiatif adalah grup suatu isotop non-asosiatif, tetapi tidak memiliki isotop simpul non-asosiatif.

Terdapat sifat asosiatif lemah yang telah diberi nama khusus.

Misalnya, gelung Bol adalah gelung:

x ∗ (y ∗ (x ∗ z)) = (x ∗ (y ∗ x)) ∗ z untuk  x ,  y  dan  z  dalam  Q  ( Bol kiri gelung ),