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