It is a Monoid