loop

algebraic structure, quasigroup with an identity element