Loop

A loop is usually defined as a quasigroup with an identity element.

Remarks

A loop can also be defined as a unital magma with divisibility.