The Answer to the Question
is below this banner.
Here's the Solution to this Question
Let be a semigroup and . Let us show that is a semigroup if
Since , then imply that and hence It follows that the operation is defined on the set
Taking into account that
we conclude that the operation is associative, and hence is a semigroup.