By definition, an AG-groupoid (also called an LA-semigroup) S is a set with
a binary operation satisfying the left invertive law: (xy)z = (zy)x for all
x, y, z ∈ G. AG-groupoids were initiated by M. Naseeruddin and Kazim in
[12]. AG-groupoid is a generalization of commutative semigroups and have
applications in flock theory, see for example [3] and some of its applications
in geometry have been investigated in [8]. An AG-groupoid S is called AG∗∗-
groupoid if a(bc) = b(ac), ∀a, b, c ∈ S. An AG-groupoid S is called AG-Band