Semigroup

A semigroup is an Ordered Pair $(G,\ast)$ such that G is a Setnd $\ast$ is an Associative Binary Operation