Loop (Algebra)

A Quasigroup with an Identity Element $e$ such that $xe = x$ and $ex = x$ for any $x$ in the Quasigroup. All Groups are loops.

See also Group, Quasigroup