Ward quasigroup

A Ward quasigroup is a quasigroup $(Q;*)$ containing an element $e$ satisfying the following:

• For any $a\in Q$, $a*a=e$. This property is termend middle neutral element.
• For any $a,b,c\in Q$, $(a*b)*c=a*(c*(e*b))$.