Loop

- Mathematics & Logic -
Pure Mathematics Dictionary
A quasigroup that has a two-sided identity element e satisfying e * a = a * e = a for all a. A loop need not be associative, but it retains unique left and right division combined with a neutral element.