On the notion of gyrogroup more general case since 1972 [P. O. Mikheev and
L. V. Sabinin, in {it Quasigroups and loops: theory
Analytic loops with identities of hypospecial type property (1) x(xy)= (xx)y and the hypospecial property b(p,q)cdot
l_{p, q}(xy)= ((b(p,q)cdot
l_{p, q