Abel-Grassmann's groupoid (AG-groupoid) is the generalization of semigroup theory with wide range of usages in
theory of flocks (Naseeruddin, 1970). The fundamentals of this non-associative algebraic structure were first
discovered by Kazim and Naseeruddin (1972). AG-groupoid is a non-associative algebraic structure mid way between
a groupoid and a commutative semigroup. It is interesting to note that an AG-groupoid with right identity becomes a
commutative monoid (Mushtaq and Yousuf, 1978). This structure is closely related with a commutative semigroup
because if an AG-groupoid contains a right identity, then it becomes a commutative monoid [7]. A left identity in an
AG-groupoid is unique [7]. It is a mid structure between a groupoid and a commutative semigroup with wide range of
applications in theory of flocks [8].