2 ms·

Every monoid is a semigroup, but it's only a monoid if there is also a value that serves as an identity.