Groups( part 2): Groupoid: An oder pair a which the first element is a non empty set and the second element is a binary composition define on the set known as an algebraic structure/system. The algebraic system ( G ,*) is said to be a groupoid, if Example. Definitions. A groupoid( G , * ) is said to be a commutative groupoid, if the binary composition * is commutative. An element e in G is said to be an identity element in the groupoid( G , * ) if a * e=e*a=a for all a in G . For each element a in G if there exist an element a' in G s.t a*a'=a'*a=e then a' is called the inverse of a. Note: Semigroup. A groupoid ( G , * ) is said to be a semigroup if * is associative. i) a*b in G for all a,b in G and ii) a * (b * c)=(a * b) * c for all a, b, c in G . Example. ( Z , -), ( Q , +), ( R , +) are semigroups. Monoid. A semigroup ( G , *) containing the identity element is said to be a monoid. i) a*b in G for all a,b in G ...