Moufang Loop

如果代數環 algebraic loop 的所有元素三元組 、 和 都滿足 Moufang 恆等式，則該代數環是 Moufang 環，即，如果

1. ,

2. ,

3. , 並且

4. .

可以證明，如果一個代數環 algebraic loop 滿足左 Bol 恆等式和右 Bol 恆等式，則它是 Moufang 環。