Semigroup with zero