Now we defi ne the concepts that we will used.
Let S be an AG-groupoid. By an AG-subgroupoid of
S (8), we means a non-empty subset A of S such that
A2 ⊆ A. A non-empty subset A of an AG-groupoid S is
called a left (right) ideal of S (7) if SA ⊆ A (AS ⊆ A)