Because that is a property even of a semigroup...