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