Jabarkan atau dari Kuasigrup

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

gelung yang merupakan gelung Bol kiri dan kanan adalah gelung Moufang. Setara dengan salah satu dari identitas Moufang berikut yang dimiliki untuk x, y, z:

x ∗ (y ∗ (x ∗ z)) = ((x ∗ y) ∗ x) ∗ z,

z ∗ (x ∗ (y ∗ x)) = ((z ∗ x) ∗ y) ∗ x,

(x ∗ y) ∗ (z ∗ x) = x ∗ ((y ∗ z) ∗ x), atau

(x ∗ y) ∗ (z ∗ x) = (x ∗ (y ∗ z)) ∗ x.