Why nobody explicitly mentioned one of the most natural examples: symmetric semigroup of a set? This is the semigroup anologue of a permutation group (http://en.wikipedia.org/wiki/Transformation_semigroup).