Semigroup (Layout a)