Proof

The statements follow easily from the definition and the corresponding results for monoids. See Page 4 of Section 6.2.