loop

algebraic structure, quasigroup with an identity element

Bol loop
group
1