Semigroup/Examples