A semigroup is a non-empty set together with an associative binary operation , .
A rectangular band is a semigroup , non-empty sets, under the operation for all .
1) Let be a semigroup such that and for all . Prove that is isomorphic to a rectangular band.
2) Prove that a semigroup is a rectangular band if and only if for all we have that .